Accepted acl2 3.6-1 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 15 Dec 2009 03:53:25 +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-1
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@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: 553715
Changes:
acl2 (3.6-1) unstable; urgency=low
.
* New upstream release
.
[ Camm Maguire ]
* Bug fix: "replacing libreadline5-dev build dependency with
libreadline-dev", thanks to Matthias Klose (Closes: #553715).
Checksums-Sha1:
8df4d027fc34c5847a7750bc8a0e12dd2fb9dac9 1168 acl2_3.6-1.dsc
7336561642d1334cbc810081c6a2d4a9b5f8f4ea 10497441 acl2_3.6.orig.tar.gz
fc7fc526e3e595aca7217cdbb53e102fb424e5bb 13949 acl2_3.6-1.diff.gz
98d4539a6354127b46545b4ff4c38b4facde7f35 2739500 acl2-source_3.6-1_all.deb
d37341438ddc8b708c112c7f8695b100fcb772f7 57528 acl2-emacs_3.6-1_all.deb
a017f87e179ab26b42625625d66bb3b85710b991 88804 acl2-infix-source_3.6-1_all.deb
8da89d240b95cc8d08572625d7c9f7ca6f7497ec 5130594 acl2-books-source_3.6-1_all.deb
23b30d68e887f9dfbe6e341bdb83dd06e313b26e 1986626 acl2-books-certs_3.6-1_all.deb
3c1b87a179995eaa0d65113f61928e3a450ba7b3 2459504 acl2-doc_3.6-1_all.deb
ff03aa3eb7880b9165afd6d2022e376d354f0b1a 20472628 acl2_3.6-1_i386.deb
c150f2edcdb110c733a6b2f0f15576503dda0c5e 389692 acl2-infix_3.6-1_i386.deb
7ed791cc20e57826657b28ba79b2e830193678b0 30270624 acl2-books_3.6-1_i386.deb
Checksums-Sha256:
ef889b9ecafcae60b8f1a0d10a18c6ca2bcb505d2bd87a8adb132ee0c871c233 1168 acl2_3.6-1.dsc
b6b57684f960ff40eb987b1456433a2f82f6f905b9b01e3f7fdb3553f7c172b3 10497441 acl2_3.6.orig.tar.gz
17c830d176ba0611f333240dcb125205f34e92f25bc4a835ca55f1001f46c3a5 13949 acl2_3.6-1.diff.gz
2136130075f4ba94ca19ff83999d831686bc9fdbf679f78777c09b9036cdc03e 2739500 acl2-source_3.6-1_all.deb
e654fb022d29f5fa5098f76ecaac616d583d91bd1b7157b47f961fa696c65d80 57528 acl2-emacs_3.6-1_all.deb
ef29cfe7df2bafa8f3b74a9ce0ba5a4a9041081211cc56093f99ee62170d8761 88804 acl2-infix-source_3.6-1_all.deb
2a1b3a97708ed5e012a65f9331fc35b786787dacfa5f888ab9c0c216c89c5df7 5130594 acl2-books-source_3.6-1_all.deb
5db5fa01f4e032a08e671d7b5c9b5bd1774c7e1ead938b80247169fa96ed93be 1986626 acl2-books-certs_3.6-1_all.deb
c20391db7ab2a9e1b9862a156612ffbcf7fed29e48e795ca23013edf63613ce1 2459504 acl2-doc_3.6-1_all.deb
c695cd15551b967ca96e3fc7ab857dd6e3387ddde5eecbd4b85dc4155ff2781a 20472628 acl2_3.6-1_i386.deb
a4fb3a8f16df6839911f7095d9bcd6a4d3da793e070f57504b320bd0802324be 389692 acl2-infix_3.6-1_i386.deb
76e14ef3e173176f2983a6f9c014a297e5cfda434907a0c215dea6ac1df737af 30270624 acl2-books_3.6-1_i386.deb
Files:
54083f322f730ae8debe7d2c65f07d7b 1168 math optional acl2_3.6-1.dsc
bb0b1fdf99ebd1017d53d75266b96917 10497441 math optional acl2_3.6.orig.tar.gz
00a51ce1b422286c42e6d7b27d96f562 13949 math optional acl2_3.6-1.diff.gz
7c0e6a663e8388300fb09c144cd2fd5a 2739500 math optional acl2-source_3.6-1_all.deb
c59cc74e10b9c97b9e8eab0915b20e96 57528 math optional acl2-emacs_3.6-1_all.deb
2f1a9554bce15a9823d8c0a06f49d7b1 88804 math optional acl2-infix-source_3.6-1_all.deb
9722afe17626718b1385c1ffe200498f 5130594 math optional acl2-books-source_3.6-1_all.deb
d62210a329fce5060e244f4ad32ade55 1986626 math optional acl2-books-certs_3.6-1_all.deb
2845f73b46ed035cdb2cb50b038fd46a 2459504 doc optional acl2-doc_3.6-1_all.deb
e1c2f35625235b1209524006b56f7e9f 20472628 math optional acl2_3.6-1_i386.deb
b0717d572b83a0991218f1b46a998ef4 389692 math optional acl2-infix_3.6-1_i386.deb
e43286f694b7c412a4dd6ff53a6ac9ab 30270624 math optional acl2-books_3.6-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAksplA0ACgkQczG1wFfwRdz7iQCePHgPm5Yd83X57XyHbqvXh1/n
DmsAoLEjKWgZP2lTHFck6q5iJHDgHPwx
=hhYP
-----END PGP SIGNATURE-----
Accepted:
acl2-books-certs_3.6-1_all.deb
to main/a/acl2/acl2-books-certs_3.6-1_all.deb
acl2-books-source_3.6-1_all.deb
to main/a/acl2/acl2-books-source_3.6-1_all.deb
acl2-books_3.6-1_i386.deb
to main/a/acl2/acl2-books_3.6-1_i386.deb
acl2-doc_3.6-1_all.deb
to main/a/acl2/acl2-doc_3.6-1_all.deb
acl2-emacs_3.6-1_all.deb
to main/a/acl2/acl2-emacs_3.6-1_all.deb
acl2-infix-source_3.6-1_all.deb
to main/a/acl2/acl2-infix-source_3.6-1_all.deb
acl2-infix_3.6-1_i386.deb
to main/a/acl2/acl2-infix_3.6-1_i386.deb
acl2-source_3.6-1_all.deb
to main/a/acl2/acl2-source_3.6-1_all.deb
acl2_3.6-1.diff.gz
to main/a/acl2/acl2_3.6-1.diff.gz
acl2_3.6-1.dsc
to main/a/acl2/acl2_3.6-1.dsc
acl2_3.6-1_i386.deb
to main/a/acl2/acl2_3.6-1_i386.deb
acl2_3.6.orig.tar.gz
to main/a/acl2/acl2_3.6.orig.tar.gz
Reply to: