Accepted acl2 5.0-1 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 24 Aug 2012 18:45:28 +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: 5.0-1
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Description:
acl2 - Computational Logic for Applicative Common Lisp: main binary
acl2-books - Computational Logic for Applicative Common Lisp: compiled librari
acl2-books-certs - Computational Logic for Applicative Common Lisp: library certific
acl2-books-source - Computational Logic for Applicative Common Lisp: library sources
acl2-doc - Computational Logic for Applicative Common Lisp: documentation
acl2-emacs - Computational Logic for Applicative Common Lisp: emacs interface
acl2-infix - Computational Logic for Applicative Common Lisp: infix interface
acl2-infix-source - Computational Logic for Applicative Common Lisp: infix source
acl2-source - Computational Logic for Applicative Common Lisp: source files
Closes: 682719
Changes:
acl2 (5.0-1) unstable; urgency=low
.
* New upstream release
* books retrieved separately from http://acl2-books.googlecode.com/files/books-5.0.tar.gz
* Bug fix: "Should build-depend on emacs23 | emacs24", thanks to
svante.signell@telia.com</a>; (Closes: #682719).
Checksums-Sha1:
2698dbe817f2c730044e9f59913b2c6545d6fed6 1491 acl2_5.0-1.dsc
7f30d94a5adab5364c94d78e846f666f4137fd79 17337004 acl2_5.0.orig.tar.gz
bd3fccc3f59a667fc2d0e771d36e1a2d4e53378b 18516 acl2_5.0-1.debian.tar.gz
de695764e0444e8513544e7426944bbb529c4ba9 3573070 acl2-source_5.0-1_all.deb
84142156847042b61290c26086b8d22381fd4d48 60954 acl2-emacs_5.0-1_all.deb
27d294a5bd298a48ffccf3b6b5367fa247754c1a 91586 acl2-infix-source_5.0-1_all.deb
39a34d02c03cc57fbb08e9a1074d1da9b099618e 7330716 acl2-books-source_5.0-1_all.deb
8084f169e922982b8b6210bf8554ad4f1301a179 4995984 acl2-books-certs_5.0-1_all.deb
f2e8599d02a246f864b5b9cf6e326596847f25a8 369602 acl2-doc_5.0-1_all.deb
fa70cc18ba6fbdb3373f745380f92a540b4ae614 25798840 acl2_5.0-1_i386.deb
a6dd19c4de13ab8e3721c265a9af5a73980cd965 184572 acl2-infix_5.0-1_i386.deb
77be8d31c6d00705124c5ecdaf3487414e802e8a 15180296 acl2-books_5.0-1_i386.deb
Checksums-Sha256:
6a0e76456918d8254f73bd9d1f4c6cb4036eea8bc28583274619022e4ab4ba62 1491 acl2_5.0-1.dsc
60d3da31a80ad5f31c5530b54aa9172e60acaf6513713145a3fd2ff64b3b834c 17337004 acl2_5.0.orig.tar.gz
c033de3f9bdfcf3ef93b8482a05bc6a48f41d7f637c3b6820514cb1e9ce9da77 18516 acl2_5.0-1.debian.tar.gz
ec42c266fdc9638e5c1646781b5af0fcb93fdce0dc93c4d78171596b171c9b4d 3573070 acl2-source_5.0-1_all.deb
92042f349e4184772c6d5b03eb0156756bf130410cf2e2a9f696d9e1c9724b84 60954 acl2-emacs_5.0-1_all.deb
265f243ba24e0137cee7372fc17b0e120f058b597f994f45f75019011c236a95 91586 acl2-infix-source_5.0-1_all.deb
04009eaae93c70ce3a69d8d64e3054712a23ac6be503b6fb0d079d27215036c4 7330716 acl2-books-source_5.0-1_all.deb
aedbb4fb27b674a46d2335ed56671b619c13d8de0aab93b2b2050d17201b6c59 4995984 acl2-books-certs_5.0-1_all.deb
8132a3dc7e6c15c0298e8644f3e449b14d09d0eb7c3006d4e5f2eb422bc1c66b 369602 acl2-doc_5.0-1_all.deb
9fb93682dab6eae0f0aa5a3b183e04265f7cc332aecf25907cbf41041f71b771 25798840 acl2_5.0-1_i386.deb
0294e3d7555d1a931845e62298f8825a0ff82310a76af03defc97e2162c92522 184572 acl2-infix_5.0-1_i386.deb
cd6e99cd6c33d1a1597039f0d6829428681eb69af2e25de6cf950e21de1114f0 15180296 acl2-books_5.0-1_i386.deb
Files:
517b7f5fd3da8d909ff880b98f134de8 1491 math optional acl2_5.0-1.dsc
0ba810db35ad61747dca2fca9cc49e33 17337004 math optional acl2_5.0.orig.tar.gz
4ad3be25211877a94cfa4d3896b7139e 18516 math optional acl2_5.0-1.debian.tar.gz
6cc5a69d8bb60724843fcf90ed3f9c65 3573070 math optional acl2-source_5.0-1_all.deb
e41d4e2d56af0281943f04ddaf33380b 60954 math optional acl2-emacs_5.0-1_all.deb
cbd15099e85cdd00a17a9a963444beaa 91586 math optional acl2-infix-source_5.0-1_all.deb
e170f24f98e051ba5a13a9f93a5f0fd5 7330716 math optional acl2-books-source_5.0-1_all.deb
26368dccc9c47ed3c0c8c1dfbec295af 4995984 math optional acl2-books-certs_5.0-1_all.deb
342268210d3a7f9944eea7fbd3644144 369602 doc optional acl2-doc_5.0-1_all.deb
4cc01a0de9a72ef2c753cc0e31a0d885 25798840 math optional acl2_5.0-1_i386.deb
be118946d676c54b0b7b9e9e5d9da6da 184572 math optional acl2-infix_5.0-1_i386.deb
dde21dbe1c8461a547ccc25d4bbc2fff 15180296 math optional acl2-books_5.0-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iEYEARECAAYFAlA5B4YACgkQczG1wFfwRdwjZwCdHzTYpDc2SRkDK1YD+AhNZ+Ns
RzsAnjXMu5ZodkON545P7asHvHwPmNJf
=vXDv
-----END PGP SIGNATURE-----