Accepted acl2 6.1-6 (source all amd64)
-----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-----