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