Your message dated Wed, 20 Oct 2010 22:18:04 +0000
with message-id <e1p8gyy-0004ks...@franck.debian.org>
and subject line Bug#599998: fixed in acl2 4.1-3
has caused the Debian Bug report #599998,
regarding acl2: FTBFS on mipsel: Unrecoverable error: Segmentation violation..
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
599998: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=599998
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: acl2
Version: 4.1-2
Severity: serious
Justification: FTBFS
Hi,
your package no longer builds on mipsel:
| touch debian/patches_applied
| cat debian/dlopen.lisp.in | sed "s,@VR@,4.1,g" > debian/dlopen.lisp
| echo '(progn (load "debian/sublis_patch.lsp")(si::save-system "pgcl"))' | gcl
|
| Unrecoverable error: Segmentation violation..
| Aborted
| make: *** [saved_acl2] Error 134
Full build logs:
https://buildd.debian.org/status/package.php?p=acl2
Mraw,
KiBi.
--- End Message ---
--- Begin Message ---
Source: acl2
Source-Version: 4.1-3
We believe that the bug you reported is fixed in the latest version of
acl2, which is due to be installed in the Debian FTP archive:
acl2-books-certs_4.1-3_all.deb
to main/a/acl2/acl2-books-certs_4.1-3_all.deb
acl2-books-source_4.1-3_all.deb
to main/a/acl2/acl2-books-source_4.1-3_all.deb
acl2-books_4.1-3_i386.deb
to main/a/acl2/acl2-books_4.1-3_i386.deb
acl2-doc_4.1-3_all.deb
to main/a/acl2/acl2-doc_4.1-3_all.deb
acl2-emacs_4.1-3_all.deb
to main/a/acl2/acl2-emacs_4.1-3_all.deb
acl2-infix-source_4.1-3_all.deb
to main/a/acl2/acl2-infix-source_4.1-3_all.deb
acl2-infix_4.1-3_i386.deb
to main/a/acl2/acl2-infix_4.1-3_i386.deb
acl2-source_4.1-3_all.deb
to main/a/acl2/acl2-source_4.1-3_all.deb
acl2_4.1-3.debian.tar.gz
to main/a/acl2/acl2_4.1-3.debian.tar.gz
acl2_4.1-3.dsc
to main/a/acl2/acl2_4.1-3.dsc
acl2_4.1-3_i386.deb
to main/a/acl2/acl2_4.1-3_i386.deb
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 599...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Camm Maguire <c...@debian.org> (supplier of updated acl2 package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 20 Oct 2010 16:15:56 +0000
Source: acl2
Binary: acl2 acl2-source acl2-emacs acl2-infix acl2-infix-source acl2-books
acl2-books-source acl2-books-certs acl2-doc
Architecture: source all i386
Version: 4.1-3
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <c...@debian.org>
Changed-By: Camm Maguire <c...@debian.org>
Description:
acl2 - A Computational Logic for Applicative Common Lisp: main binary
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libra
acl2-books-certs - A Computational Logic for Applicative Common Lisp: library
certif
acl2-books-source - A Computational Logic for Applicative Common Lisp: library
source
acl2-doc - A Computational Logic for Applicative Common Lisp: documentation
acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interfac
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interfac
acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix
source
acl2-source - A Computational Logic for Applicative Common Lisp: source files
Closes: 599946 599998
Changes:
acl2 (4.1-3) unstable; urgency=low
.
* build-dep latest gcl
* Bug fix: "FTBFS on mips: Terminated", thanks to Cyril Brulebois
(Closes: #599946).
* Bug fix: "FTBFS on mipsel: Unrecoverable error: Segmentation
violation..", thanks to Cyril Brulebois (Closes: #599998).
Checksums-Sha1:
da3044ad4a25aa9ec1ec90da0e630e96271426b4 1194 acl2_4.1-3.dsc
a01705e1d8d67f8983e4bba9b76c2e0f8dfad5b1 17604 acl2_4.1-3.debian.tar.gz
940d9228010d1e183e4a20e729d35af02690fb59 3033590 acl2-source_4.1-3_all.deb
9354a8b8d36d3b87238cb6ddd1d7eef09b5ccafa 58540 acl2-emacs_4.1-3_all.deb
b2841d13b194c03db2ef8e3cd786a0bde56601d4 89470 acl2-infix-source_4.1-3_all.deb
08a1b7be55eb39fa5e1aeb579e838fb41b74b6c1 5309590
acl2-books-source_4.1-3_all.deb
1acc0e06d56783d3bf045e6f367c67155cf527de 2019420 acl2-books-certs_4.1-3_all.deb
ca3a33913aca10f24ae2983a8d12d6f34aaf59ac 2837476 acl2-doc_4.1-3_all.deb
57c22e92c17c0b3c5bedcf00b513a24bc61b7c14 21809474 acl2_4.1-3_i386.deb
bd2ac8213a3106cb5f2701df81f11deaea1586fe 390950 acl2-infix_4.1-3_i386.deb
addadba921ae8343bce38feb0f4bc517b8969fd4 34168196 acl2-books_4.1-3_i386.deb
Checksums-Sha256:
83559b7dc000275365c7e499554d6fac00c38cce017865313c6ad0b882f1220a 1194
acl2_4.1-3.dsc
914e583bce6d5fa463832ce20761fff5ee124e4df7e45b7bd5f59f5e8a09770c 17604
acl2_4.1-3.debian.tar.gz
f25c09f2ffa3849b0269958c03c204d9a5a7a21884883c2b29107de8496c18e2 3033590
acl2-source_4.1-3_all.deb
3b3a49e0b9ba19ef6949553dff7b14492b170c6364e2c8e3563fdf92d0cb78b7 58540
acl2-emacs_4.1-3_all.deb
a8d344c5dccb22188d14282eda7d427c03193ed291eb575d50b47f72963e1fcf 89470
acl2-infix-source_4.1-3_all.deb
f1811c8d23438a7e83dca7f8c5565ea0fa09b1806f45486a50cfaea6b6237f07 5309590
acl2-books-source_4.1-3_all.deb
922ca759c7dfac7309059b55bda623cb8c86e308e0ddbcd759c5b5d423d75f2f 2019420
acl2-books-certs_4.1-3_all.deb
e4d9844b53ba4f63eb2f704262b30f871d2beda5391c225df8df815dfd9a6ed6 2837476
acl2-doc_4.1-3_all.deb
925ed0537ec972eb18762afde0de04ef13bc7b5e8e8516d36d442bd7826e37ab 21809474
acl2_4.1-3_i386.deb
5dfb8986ced896a32c5c8689734c4198ac75d8e01b1f3e1309e77649c3703e75 390950
acl2-infix_4.1-3_i386.deb
1de676d977d711cdf53b621966cecdf36107dd7287ece37b5293e3e97907f6c5 34168196
acl2-books_4.1-3_i386.deb
Files:
8b39f5e3615ccd91e99389c02e552048 1194 math optional acl2_4.1-3.dsc
e80093b4121fa3dfd426d6497c9bf9c5 17604 math optional acl2_4.1-3.debian.tar.gz
a191e21182bb27b4668b0e465182ec89 3033590 math optional
acl2-source_4.1-3_all.deb
53f01c612b24cda39e0edf4295c928a1 58540 math optional acl2-emacs_4.1-3_all.deb
665367a058ace4f46539f58561ad4356 89470 math optional
acl2-infix-source_4.1-3_all.deb
21aa93ab01a451c4b3f0c0361ff47399 5309590 math optional
acl2-books-source_4.1-3_all.deb
24db2c16fbbb28051350b2892e08e5ad 2019420 math optional
acl2-books-certs_4.1-3_all.deb
d0641ad14480d15b724cd7aff14d1cbc 2837476 doc optional acl2-doc_4.1-3_all.deb
3c64b28eeeba44dff9ab0037978f0afd 21809474 math optional acl2_4.1-3_i386.deb
1b2aeb515ef0b3dc3d5527130cf93158 390950 math optional acl2-infix_4.1-3_i386.deb
99089d17a6d6f5439accf14bd3a6f57d 34168196 math optional
acl2-books_4.1-3_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAky/QnoACgkQczG1wFfwRdwoiwCgiUifYAL8NV80SvtyzmwJbQAn
c/8AoKkJ78sdtgSY56WwPTJ1jziYnKgG
=9Cq0
-----END PGP SIGNATURE-----
--- End Message ---
