Your message dated Mon, 04 Jan 2010 22:07:06 +0000
with message-id <[email protected]>
and subject line Bug#563604: fixed in acl2 3.6-3
has caused the Debian Bug report #563604,
regarding acl2: FTBFS on kfreebsd-i386: /bin/sh: line 1: 42209 Segmentation
fault gcl < workxxx
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 [email protected]
immediately.)
--
563604: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=563604
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: acl2
Version: 3.6-2
Severity: important
User: [email protected]
Usertags: kfreebsd
Hi,
your package FTBFS on kfreebsd-i386, while it built successfully on
kfreebsd-amd64:
| ******************************************************************************
| Initialization complete, beginning the check and save.
| ******************************************************************************
| Loading akcl-acl2-trace.lisp
| Warning: TRACE is being redefined.
| Warning: UNTRACE is being redefined.
| Finished loading akcl-acl2-trace.lisp
| Generating and evaluating proclaim forms for ACL2 source files.
| [GC for 58 FIXNUM pages..(T=6).GC finished]
| [GC for 2391 CONTIGUOUS-BLOCKS pages..(T=5).GC finished]
|
| /bin/sh: line 1: 42209 Segmentation fault gcl < workxxx
| make[1]: *** [init] Error 139
| "Executing (si::sgc-on t)"make[1]: Leaving directory
`/build/buildd-acl2_3.6-2-kfreebsd-i386-vv9V4v/acl2-3.6'
| make: *** [saved_acl2] Error 2
| dpkg-buildpackage: error: debian/rules build gave error exit status 2
Full build logs at the usual place:
https://buildd.debian.org/status/package.php?suite=unstable&p=acl2
Mraw,
KiBi.
--- End Message ---
--- Begin Message ---
Source: acl2
Source-Version: 3.6-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_3.6-3_all.deb
to main/a/acl2/acl2-books-certs_3.6-3_all.deb
acl2-books-source_3.6-3_all.deb
to main/a/acl2/acl2-books-source_3.6-3_all.deb
acl2-books_3.6-3_i386.deb
to main/a/acl2/acl2-books_3.6-3_i386.deb
acl2-doc_3.6-3_all.deb
to main/a/acl2/acl2-doc_3.6-3_all.deb
acl2-emacs_3.6-3_all.deb
to main/a/acl2/acl2-emacs_3.6-3_all.deb
acl2-infix-source_3.6-3_all.deb
to main/a/acl2/acl2-infix-source_3.6-3_all.deb
acl2-infix_3.6-3_i386.deb
to main/a/acl2/acl2-infix_3.6-3_i386.deb
acl2-source_3.6-3_all.deb
to main/a/acl2/acl2-source_3.6-3_all.deb
acl2_3.6-3.diff.gz
to main/a/acl2/acl2_3.6-3.diff.gz
acl2_3.6-3.dsc
to main/a/acl2/acl2_3.6-3.dsc
acl2_3.6-3_i386.deb
to main/a/acl2/acl2_3.6-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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Camm Maguire <[email protected]> (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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 04 Jan 2010 18:12:16 +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: 3.6-3
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <[email protected]>
Changed-By: Camm Maguire <[email protected]>
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: 563604
Changes:
acl2 (3.6-3) unstable; urgency=low
.
* Bug fix: "FTBFS on kfreebsd-i386: /bin/sh: line 1: 42209 Segmentation
fault gcl < workxxx", thanks to Cyril Brulebois (Closes: #563604).
Checksums-Sha1:
1f610dc680c86595f79e163fa9193672f3497350 1168 acl2_3.6-3.dsc
aebaa503470fd63eb7dd06c687cbb4610b9c6cf5 14336 acl2_3.6-3.diff.gz
af2d144de81f9b5dc48e7adce4bcc870ba1a6425 2739784 acl2-source_3.6-3_all.deb
7a38b113ab8bf5c45b7db1270706338dc34234bc 57812 acl2-emacs_3.6-3_all.deb
fda78e3dd7f66792b957e0c8b755620160ccf55c 89040 acl2-infix-source_3.6-3_all.deb
b3bfa9a58891ed0f88462af5f33e3fae87e5897d 5131076
acl2-books-source_3.6-3_all.deb
b9e9255e756b4f67aa791e2487a501a8d62b8e74 1986558 acl2-books-certs_3.6-3_all.deb
59637e3c4ee0af814cbe5d5a842c61b7a41d15e7 2459760 acl2-doc_3.6-3_all.deb
cabb7d48c1bdd4f64c22e31eec6e5463b15c1342 20532350 acl2_3.6-3_i386.deb
5c7b7f89a412221d2ac3eb444e4f5b2f5d20520b 391696 acl2-infix_3.6-3_i386.deb
97a7dd050acb04842527cef18cb3b1ba31cfb792 30134838 acl2-books_3.6-3_i386.deb
Checksums-Sha256:
79acae8303d4ae71d7bda37845cf8aa14e79f08e64dbec803d60cad9b22aa1b8 1168
acl2_3.6-3.dsc
8de3ce36544b49a057608f38118eb5e61eb6e3c46dcd68695318d6298c72b1d5 14336
acl2_3.6-3.diff.gz
8a02c7d3d539635944ee02bb024b2af6febb80a7e982fb1c11661d376c088fe0 2739784
acl2-source_3.6-3_all.deb
2c178e8109892a73117bbde71d2f0aa140e15b1530a9e7270f3a3484f6d6c6fb 57812
acl2-emacs_3.6-3_all.deb
1f5886db77e080d0b3f2d3ea739f914f4f2a92eccab8434c831eb2604705db0e 89040
acl2-infix-source_3.6-3_all.deb
a00b5cf38cdaa436d232fb65a82600554d0e8f786f34fe5ef4e4fdfbeda92335 5131076
acl2-books-source_3.6-3_all.deb
056d47269ae88d58488af6d0f79534b12136871c85bfa086bc95a778f0d4556e 1986558
acl2-books-certs_3.6-3_all.deb
e6a6188b0499aa6724cc582b67ab73d78b31c1608d7c9005c1358f2f456735dc 2459760
acl2-doc_3.6-3_all.deb
c2cc7b8fc3732339135111f35dd9edb286a196252892da39d6310831205b1405 20532350
acl2_3.6-3_i386.deb
47c95bba8ce1e3367b2c668eb105e2ab48a2fe665efe12e0b6fd857226f5390f 391696
acl2-infix_3.6-3_i386.deb
a208dbfae02b99d3001311f0d9f33f66c4ecced581731b979ccf65d121f9886f 30134838
acl2-books_3.6-3_i386.deb
Files:
1be8f17bc1ad03fe10759585e67241ea 1168 math optional acl2_3.6-3.dsc
12d28c1fb2618449e08ef30faf5fd5e6 14336 math optional acl2_3.6-3.diff.gz
706ff7c1c40cea17c27347a28a2d8c92 2739784 math optional
acl2-source_3.6-3_all.deb
5dfe80a5e197f79666eb0e1c5c4eb9ee 57812 math optional acl2-emacs_3.6-3_all.deb
7b4489832b5f76094fa9ee2425897779 89040 math optional
acl2-infix-source_3.6-3_all.deb
5bc3932e36de4c7ccceac17a09a30900 5131076 math optional
acl2-books-source_3.6-3_all.deb
36b3f5ce9e661d30e3b412e46fbcbb0a 1986558 math optional
acl2-books-certs_3.6-3_all.deb
b16095af0f3b67dd866b7401a9b39296 2459760 doc optional acl2-doc_3.6-3_all.deb
e8beb0ce81d0570ef00923ec4826466d 20532350 math optional acl2_3.6-3_i386.deb
e865e0dc6fc2f8b198e3cc0eb7b6a642 391696 math optional acl2-infix_3.6-3_i386.deb
74bf16a70a7c55c0f16cc7e27edf3612 30134838 math optional
acl2-books_3.6-3_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAktCWZQACgkQczG1wFfwRdzOKQCeMxFGmXOdqAe+wkeAXmBGt8d3
1EwAoLlUvGmx0dri+hhpG6bqUutJa3WR
=7wI0
-----END PGP SIGNATURE-----
--- End Message ---
