-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 02 Jul 2013 16:10: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 amd64 Version: 6.1-6 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.1-6) unstable; urgency=low . * build-dep against latest gcl Checksums-Sha1: 2874b90cd27e18f4ee19da2a17b519ae42d07d13 1746 acl2_6.1-6.dsc c50a9e067df62b7f13983cd260f4af635d0e10d3 159904 acl2_6.1-6.debian.tar.gz 032fb9215e970a588198b9d18c391a1ee55be657 3752352 acl2-source_6.1-6_all.deb 801ad54b7319c9a4c4b771e6506fde69c42a4ff5 61648 acl2-emacs_6.1-6_all.deb c16d0ce0eece3447e4efd8f7fdc88d2a82ec784a 92492 acl2-infix-source_6.1-6_all.deb d6e5f304e0cd92dff7f251c8b84ee4a0c042831a 7482018 acl2-books-source_6.1-6_all.deb 00dcce44fcf9e65757c26860e35338f06b486464 8836078 acl2-books-certs_6.1-6_all.deb 73a6ab1dfbd1f54647cd1d17335470f722eab3fe 12302050 acl2-doc_6.1-6_all.deb c3920a1df309262760a77c4eb0af6bb360877d73 27674288 acl2_6.1-6_amd64.deb 5ebe30e374f8b7a45b02703c6233bd47073a94f8 211104 acl2-infix_6.1-6_amd64.deb a4889aba972eb086eeed0edff3cfbc40fbed9190 30501020 acl2-books_6.1-6_amd64.deb Checksums-Sha256: d97e5732dc17c9c026d84b659f9a5a8c6b316e092851850431886213b6b828d9 1746 acl2_6.1-6.dsc 63be68ee629c89db00b1a59acaca1a83b60d9262d951d87936a6ff81054588c0 159904 acl2_6.1-6.debian.tar.gz 407fe88a9f37695dd9113103b66943617d16fc2b395854d7e4f0f69e9b491afc 3752352 acl2-source_6.1-6_all.deb 86ea9095fc7ff212360ef5bd37934ccfef9b52d455685fe1d6f00293bc1420a7 61648 acl2-emacs_6.1-6_all.deb c0090937ecab0e62f4ccc760844281e1e67711860a5bc477033161f4763e73e0 92492 acl2-infix-source_6.1-6_all.deb ac3b5bdc4950150bb5503a19d856bc6b8beb8dbcd900efec041742864bd53e43 7482018 acl2-books-source_6.1-6_all.deb 8e50d086d9402421c4d582e568f3019c8141ca3fb524cf420a872dd4995b6ae0 8836078 acl2-books-certs_6.1-6_all.deb cbdcbee67b7782a4cfb74651d16ad529f161db363f6b071769f13ba36fb547da 12302050 acl2-doc_6.1-6_all.deb 5dd970e0b2ac834b785d1775deaabbce4474698086a78acac12a0d6deab5e5d3 27674288 acl2_6.1-6_amd64.deb 27775bbf379431c709c06c3af88fe76068cd603cae58ddf2d6debd8f1693251d 211104 acl2-infix_6.1-6_amd64.deb dfd00fad3c2ba917430bd741e2d67fa5dd37f8ee45914a3e75fe209c0dae1133 30501020 acl2-books_6.1-6_amd64.deb Files: 0b12be9034e1bc4760b1dff179526403 1746 math optional acl2_6.1-6.dsc 684698385d38b50954bd67ad6aee6798 159904 math optional acl2_6.1-6.debian.tar.gz c4a66d98ac80b5fd7769aefaaac41256 3752352 math optional acl2-source_6.1-6_all.deb 6cd1443de71715aa664672d4840b34f8 61648 math optional acl2-emacs_6.1-6_all.deb cf12de15cced413665bd8251cf01641b 92492 math optional acl2-infix-source_6.1-6_all.deb 729c9da7fbb9c17e9152ee2e712cc956 7482018 math optional acl2-books-source_6.1-6_all.deb 39e4379f517fa320e8290c8bcd4ea75a 8836078 math optional acl2-books-certs_6.1-6_all.deb 678ac1b9e2ad37c9f70f29067f1d8e26 12302050 doc optional acl2-doc_6.1-6_all.deb f1ad4fc48e6d4e8bff2e6b1c822b97ab 27674288 math optional acl2_6.1-6_amd64.deb db8226d4fa281587c7fcaf6d0ea7678a 211104 math optional acl2-infix_6.1-6_amd64.deb 863642b40bc901c96180fd14472d4a33 30501020 math optional acl2-books_6.1-6_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAlHTPUMACgkQczG1wFfwRdxyrwCePxtqupR/i+x/dkJp9elgDsRD 9sAAnA83e87e+cDPHTYFD4GnLHgKDkOA =D4+e -----END PGP SIGNATURE-----
