Your message dated Tue, 12 Jan 2010 00:03:29 +0000
with message-id <e1nuuel-0004sr...@ries.debian.org>
and subject line Bug#564247: fixed in acl2 3.6-4
has caused the Debian Bug report #564247,
regarding FTBFS [hppa] - **CERTIFICATION FAILED** for ram2b.lisp
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.)
--
564247: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=564247
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: acl2
Version: 3.6-3
Severity: serious
User: debian-h...@lists.debian.org
Usertags: hppa
acl2 fails to build on hppa. From the most recent build attempt:
[...]
-rw-r--r-- 1 buildd buildd 110150 Jan 6 19:18 mem.cert
Making /build/buildd/acl2-3.6/books/coi/gacc/list-ops-common.cert on Wed Jan 6
19:18:31 UTC 2010
-rw-r--r-- 1 buildd buildd 113841 Jan 6 19:20 list-ops-common.cert
Making /build/buildd/acl2-3.6/books/coi/gacc/list-ops-fast.cert on Wed Jan 6
19:20:32 UTC 2010
-rw-r--r-- 1 buildd buildd 116245 Jan 6 19:22 list-ops-fast.cert
Making /build/buildd/acl2-3.6/books/coi/gacc/wrap.cert on Wed Jan 6 19:22:10
UTC 2010
-rw-r--r-- 1 buildd buildd 113661 Jan 6 20:03 wrap.cert
Making /build/buildd/acl2-3.6/books/coi/gacc/ram3.cert on Wed Jan 6 20:03:17
UTC 2010
-rw-r--r-- 1 buildd buildd 117031 Jan 6 20:09 ram3.cert
Making /build/buildd/acl2-3.6/books/coi/gacc/ram2b.cert on Wed Jan 6 20:09:14
UTC 2010
ls: cannot access ram2b.cert: No such file or directory
**CERTIFICATION FAILED** for /build/buildd/acl2-3.6/books/coi/gacc/ram2b.lisp
| Rules: ((:DEFINITION ADDRESSES-OF-DATA-WORD)
| (:DEFINITION ADDRESSES-OF-DATA-WORD-UNIV)
| (:DEFINITION CLEAR-DATA-WORD-UNIV)
| (:FAKE-RUNE-FOR-TYPE-SET NIL)
| (:REWRITE BAG::DISJOINT-COMMUTATIVE)
| (:REWRITE READ-DATA-WORD-OF-WRITE-DATA-WORD-UNIV)
| (:REWRITE BAG::SUBBAGP-DISJOINT-COMMUTE)
| (:REWRITE BAG::SUBBAGP-SELF)
| (:TYPE-PRESCRIPTION DISJOINT))
[...]
--- End Message ---
--- Begin Message ---
Source: acl2
Source-Version: 3.6-4
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-4_all.deb
to main/a/acl2/acl2-books-certs_3.6-4_all.deb
acl2-books-source_3.6-4_all.deb
to main/a/acl2/acl2-books-source_3.6-4_all.deb
acl2-books_3.6-4_i386.deb
to main/a/acl2/acl2-books_3.6-4_i386.deb
acl2-doc_3.6-4_all.deb
to main/a/acl2/acl2-doc_3.6-4_all.deb
acl2-emacs_3.6-4_all.deb
to main/a/acl2/acl2-emacs_3.6-4_all.deb
acl2-infix-source_3.6-4_all.deb
to main/a/acl2/acl2-infix-source_3.6-4_all.deb
acl2-infix_3.6-4_i386.deb
to main/a/acl2/acl2-infix_3.6-4_i386.deb
acl2-source_3.6-4_all.deb
to main/a/acl2/acl2-source_3.6-4_all.deb
acl2_3.6-4.diff.gz
to main/a/acl2/acl2_3.6-4.diff.gz
acl2_3.6-4.dsc
to main/a/acl2/acl2_3.6-4.dsc
acl2_3.6-4_i386.deb
to main/a/acl2/acl2_3.6-4_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 564...@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: Mon, 11 Jan 2010 17:44:36 +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-4
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: 564247
Changes:
acl2 (3.6-4) unstable; urgency=low
.
* Bug fix: "FTBFS [hppa] - **CERTIFICATION FAILED** for ram2b.lisp",
thanks to dann frazier (Closes: #564247).
Checksums-Sha1:
fd1556366581e9f277e07726f2608518eafe55f5 1168 acl2_3.6-4.dsc
2ac4bae5143dadd4fe5ba4c4a5feede7e7d24d75 15164 acl2_3.6-4.diff.gz
af167d110be72faf2e9d3e9a8c990f76d2464bc3 2739848 acl2-source_3.6-4_all.deb
e581cdc3267dfa40f888891e53b824dab452202f 57870 acl2-emacs_3.6-4_all.deb
a01887bc9156f94695ee3bea9ea3fe0b21afb4fa 89108 acl2-infix-source_3.6-4_all.deb
c0484623f457b265471ff93436a072e3f6f4f79a 5131138
acl2-books-source_3.6-4_all.deb
7a29dec30d2b3bb5feabdd4d87ec4f131cf59aa3 1986756 acl2-books-certs_3.6-4_all.deb
f574fc1c4df2820e84a01a3e499643e8da167381 2459782 acl2-doc_3.6-4_all.deb
4063915b97253bb1cee2c5a5c929484f5e71d381 20525972 acl2_3.6-4_i386.deb
05d9238b8048e1951b31c5c3069c0aa273adb5d1 391770 acl2-infix_3.6-4_i386.deb
642a8b861dd0699b2b320bebff2fca63952ca5af 30135146 acl2-books_3.6-4_i386.deb
Checksums-Sha256:
74303daf9d6aab9c864816fdad352fd9391bd74132a4a2a6a7f8a4ff427ab3bf 1168
acl2_3.6-4.dsc
b20c24de8a5b5590870d64479ad1a50465aede8082a43e0376b0a5351e95e4ff 15164
acl2_3.6-4.diff.gz
c4801b79ef3860c250d63315b5b0784d27abfad5af7703286bf2b9b83d84a970 2739848
acl2-source_3.6-4_all.deb
d15b8d0a85e870630d58fd49a63edd0d2134d182e9e8064eaab1d0f9e31efe97 57870
acl2-emacs_3.6-4_all.deb
cd8b8c690cda86c8e96ca2d2905aa02908c40c77670b16110253dbe4b4bd81c1 89108
acl2-infix-source_3.6-4_all.deb
99ad875d4e52f14f6b37f859e0e0b4acd998af4d3fac70e217eba5d2dbcfb9e2 5131138
acl2-books-source_3.6-4_all.deb
22d0f030d98268caf7faab0f747c980b7b99528576850eaec2a1ca488354dab7 1986756
acl2-books-certs_3.6-4_all.deb
e66f4191bc78454b90e78b58f118ed681e5d1053239576f44286843299b3ee52 2459782
acl2-doc_3.6-4_all.deb
1f34283b3efe5787b6728dd46556c20f58f6116b711ff9c6fa78568b25dc60e9 20525972
acl2_3.6-4_i386.deb
83d8bce9291e2025ba1df31184ef7a15b15a5cf3c3514a0893eb42baa13b5341 391770
acl2-infix_3.6-4_i386.deb
27ca146a1effb78ca5901ce23e9c864b3fbc48fdb421e67a34017cd52359bd54 30135146
acl2-books_3.6-4_i386.deb
Files:
33926f078d67d1ff9df87ab2ee7b8c79 1168 math optional acl2_3.6-4.dsc
cf3552ff0ebf24a4791c1f5cb44affd6 15164 math optional acl2_3.6-4.diff.gz
b7879ac12ef042c0b237edc56ecded9c 2739848 math optional
acl2-source_3.6-4_all.deb
0a564306ec84889c8671c97a61d658a2 57870 math optional acl2-emacs_3.6-4_all.deb
4bf7550df6858e7e91c31660f11b8eba 89108 math optional
acl2-infix-source_3.6-4_all.deb
d9cc18d9b6e39faec6b90f9e12f9d5f1 5131138 math optional
acl2-books-source_3.6-4_all.deb
92457ee5e52e53f7bc99e5b03ed69bcb 1986756 math optional
acl2-books-certs_3.6-4_all.deb
bf6bf8aa092895a882c4237dc22dcdfb 2459782 doc optional acl2-doc_3.6-4_all.deb
f1eb799e03bf42df888627c511d64247 20525972 math optional acl2_3.6-4_i386.deb
77d7c2433fe4bf461fb452a9b967ae95 391770 math optional acl2-infix_3.6-4_i386.deb
e9c6f90b80ded15d48e91c185e8505bd 30135146 math optional
acl2-books_3.6-4_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAktLpzoACgkQczG1wFfwRdx5SgCaAgiDmueE7PqQs9VeCSGkz3Bf
Ub8An3uua29/4U/qKcu973K0yRMrRqMV
=KLth
-----END PGP SIGNATURE-----
--- End Message ---
