Accepted acl2 6.0-1 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 07 Jan 2013 21:45:40 +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: 6.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
Changes:
acl2 (6.0-1) unstable; urgency=low
.
* New upstream release
Checksums-Sha1:
30f8681f7c06344aa7fbdca6c209ffb50a223522 1741 acl2_6.0-1.dsc
5cd86c22578d11992a86333fd2df60cbca6f20c5 10961166 acl2_6.0.orig-books.tar.gz
074f3d62de22eb091c45db271ebba33d040a414c 6774056 acl2_6.0.orig.tar.gz
1dbd1c466a1f730972566a3c4ae1a18fc51a522f 159002 acl2_6.0-1.debian.tar.gz
0b5d9347c57efa44337451bd019c5a34b160aaa9 3706594 acl2-source_6.0-1_all.deb
0b0ee4af7fe492e0044fff90da5a54cf12a89450 61960 acl2-emacs_6.0-1_all.deb
a86de5afdbac68d2f0645a1530bac57cc84f1616 92298 acl2-infix-source_6.0-1_all.deb
b753a897ec1409a6e59a4ef1e5e35409d23dceca 7818504 acl2-books-source_6.0-1_all.deb
2db9541a1481c97cddb96a9ce620d247c0df1280 5192394 acl2-books-certs_6.0-1_all.deb
96771061ca49c9a0271ae8ed28b93635a2cd377a 12139198 acl2-doc_6.0-1_all.deb
63ad59bb9182c818a3487ed89e76c4b40b2fd022 27041114 acl2_6.0-1_i386.deb
eb6a332c6aab12095dc4f1fb1fce2ebffdfbf4a3 185454 acl2-infix_6.0-1_i386.deb
dd07b80e944fc6304972a62808f43caf224a7a21 16465438 acl2-books_6.0-1_i386.deb
Checksums-Sha256:
0bac8801ba0471914c3f404fd903948c8d6898298372361ec2e3a904167d54e0 1741 acl2_6.0-1.dsc
01efa29d8547856f5b8c566d834c386434aa82b4edaa022ffbb14cd570e7ffdb 10961166 acl2_6.0.orig-books.tar.gz
691cdf02ce9950cf0b06dc893a89c8da694ec553cc0f798049b61ddd304ab4ae 6774056 acl2_6.0.orig.tar.gz
1eb96062d4290edde2b857ecd029984d8b3e5b14d2b36e512fc05d9a54f2cca7 159002 acl2_6.0-1.debian.tar.gz
566b05f13c027dabe971b35a8e79f11ae341064d50d6fb55e0df57df003ffb95 3706594 acl2-source_6.0-1_all.deb
a9d6c5c8da8942ffc4304f2053f2b9a9f0f55353944124a556695581f309b322 61960 acl2-emacs_6.0-1_all.deb
f7fbd1e19f724f5db4b2d0fd85ac1100b965d888889067e43bd30f636189ac4b 92298 acl2-infix-source_6.0-1_all.deb
14fd2f32a90a3145f38d29d132f43e5a32fa8777ef243e3ce8014414b98da438 7818504 acl2-books-source_6.0-1_all.deb
1ae011a7498bc6bc0b042af67652ed80ec4c4a4ea89e62058b0fcb47245888fe 5192394 acl2-books-certs_6.0-1_all.deb
4057612348f978d8b970e5285ebf5bcc8ab53674ac9856b66f344b865df06e68 12139198 acl2-doc_6.0-1_all.deb
eaf005f372514ba131bcbd58561a1683d90740bb2cc5cfb727e7b3250d0f1cef 27041114 acl2_6.0-1_i386.deb
a94ea61383d5682ac2dd7bd7c33d7031635b2c3c4badbc18b71c9b666222ec00 185454 acl2-infix_6.0-1_i386.deb
df2b32a29d67ff95361856434b92ed165ff13923e962429c69ecd70716935486 16465438 acl2-books_6.0-1_i386.deb
Files:
53e7ba988b0877a8e596da34c9bf0410 1741 math optional acl2_6.0-1.dsc
9934badd26f7ccd8eaa8bf964faa5a42 10961166 math optional acl2_6.0.orig-books.tar.gz
028e819f971e7030c15e402b2df63565 6774056 math optional acl2_6.0.orig.tar.gz
a635eb9ff783b42f121efdb9ea040e06 159002 math optional acl2_6.0-1.debian.tar.gz
d96b9a22a6522dc4e55c5acb91a373e4 3706594 math optional acl2-source_6.0-1_all.deb
7943cb4d40b32aae80d2798bc4769be3 61960 math optional acl2-emacs_6.0-1_all.deb
151a0b9c325111ad8e57ca2289bd1987 92298 math optional acl2-infix-source_6.0-1_all.deb
8e82e44fd4db6c0ad6866bfc79fe4342 7818504 math optional acl2-books-source_6.0-1_all.deb
036a18d4598c64ed2e3980f0e8ba976b 5192394 math optional acl2-books-certs_6.0-1_all.deb
c91721af4b9d2ae9a2853924c61e784d 12139198 doc optional acl2-doc_6.0-1_all.deb
b51c2b9d6a651df6335a32b1e18472a1 27041114 math optional acl2_6.0-1_i386.deb
03fe77f54c679e11158f364ddde3b32c 185454 math optional acl2-infix_6.0-1_i386.deb
059e6c93ec3b9e95fa42f3e76d67bed3 16465438 math optional acl2-books_6.0-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iEYEARECAAYFAlDyC3cACgkQczG1wFfwRdxB7QCePrW6wCTCk6PdDmMatRLwgCM6
wpEAn0qBU5GxakINfVf1SeyiPISLUla/
=gdmq
-----END PGP SIGNATURE-----