-----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-----
