Accepted acl2 6.2-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 11 Jul 2013 22:02:56 +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.2-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.2-1) unstable; urgency=low
.
* New upstream release
Checksums-Sha1:
1f568c2e7ce9bc0be742bd6810bea9c3e3a8e6d7 1746 acl2_6.2-1.dsc
31cf9835907a43d0d24b1e87b17d5374a9a7eeaa 11334618 acl2_6.2.orig-books.tar.gz
b55a98e711506c29a9da291c24d2b3e7054f2210 6922453 acl2_6.2.orig.tar.gz
da6a55aad5ba46df83bffe6ec30614dec68213fe 160213 acl2_6.2-1.debian.tar.gz
d8f7a1e5b302a2ab6a95d5a7f3101aa6af6e968e 3762198 acl2-source_6.2-1_all.deb
159981e6f1b2b0b07287ea4949268bd037fcc3e9 61674 acl2-emacs_6.2-1_all.deb
b2f58ae495be66aadbd03e41aae2b4da40248438 92508 acl2-infix-source_6.2-1_all.deb
95fd03ab484cc5ce12278f56556fcd12d13f9a15 7676044 acl2-books-source_6.2-1_all.deb
b578cf8a926c79ab63f4f6e821cc5101f1c02d34 10237130 acl2-books-certs_6.2-1_all.deb
1ed2ee3cbb2a6a7e4173fa0513874ea87e339d8e 12511122 acl2-doc_6.2-1_all.deb
bdfcf37d6c4e3f5b7d633f470d3678356b5f3cfd 28090744 acl2_6.2-1_amd64.deb
37514c8900bd5f8d778749eed87376c6684d051f 211120 acl2-infix_6.2-1_amd64.deb
298671d6bd9279b9f099ba45429369bbf427aa7d 35754472 acl2-books_6.2-1_amd64.deb
Checksums-Sha256:
1f9a76235ee1902b4393273e78aaab7d7102e53a861592cbae498e0952e0a283 1746 acl2_6.2-1.dsc
8a6fbfa491dfb9ef129b4f6c4e3d7da7cffe434da111c69ec63b98b3bc8af8a1 11334618 acl2_6.2.orig-books.tar.gz
b28073994b1eb36f8f0c0da92c4107b0fc63643d74436c3bbe6f9316e87a6ba3 6922453 acl2_6.2.orig.tar.gz
9f90814f44c8773a276460d8b6c2f08de7efe1983e048c927fb845fe6d9887aa 160213 acl2_6.2-1.debian.tar.gz
4b6e69a6094faf5bb7f99440579c35cc707235a257df4068a66b4a9a008b1b7d 3762198 acl2-source_6.2-1_all.deb
aaca64a8ada4675ac86941ff13f6f1d03ffee9b1552489de1d4f8ee493c49f6f 61674 acl2-emacs_6.2-1_all.deb
23d0b672ea9899cae6afdd889d29187433561767694b192af60f2e1e1ce7d1a4 92508 acl2-infix-source_6.2-1_all.deb
165a8f2e68b4152a5435dbe9e15fef28e9bee2d5e32f8ab1648ba065d82fce36 7676044 acl2-books-source_6.2-1_all.deb
83e12cf169b0bfb0a0a35c1e805bfb72794859435e1c2bd31f622d9fd65745cc 10237130 acl2-books-certs_6.2-1_all.deb
0e1ca9dc310f934a8141aeb8c3f02d0acef068a121e2a0114dca4bf369770bdf 12511122 acl2-doc_6.2-1_all.deb
b5214f53d7dc2bf0a7fb9687c4744f146dadfde7ad78fad174b8df38d78373d9 28090744 acl2_6.2-1_amd64.deb
b6abec9f7b381031c68ec219f8dd31ce2b29733a0ff309f15125cbc07b533aaa 211120 acl2-infix_6.2-1_amd64.deb
e86288fe0681c768bad35f686db8c24fa2b0e394459a89d1d83986aabda78833 35754472 acl2-books_6.2-1_amd64.deb
Files:
5de5c001e8d2df8c2d5434a10d811778 1746 math optional acl2_6.2-1.dsc
f6614df0f7bba424dd1ddcbad22190b7 11334618 math optional acl2_6.2.orig-books.tar.gz
1d44fb09e3311730271af8bd981f308b 6922453 math optional acl2_6.2.orig.tar.gz
926a1935c754a3022312d928d586ac36 160213 math optional acl2_6.2-1.debian.tar.gz
ae7d72592096b8c1361ff48a6f93182c 3762198 math optional acl2-source_6.2-1_all.deb
bcdba8bdbf34a9347e25c73c09277098 61674 math optional acl2-emacs_6.2-1_all.deb
69558091c264a41a7948aeb3290937a8 92508 math optional acl2-infix-source_6.2-1_all.deb
08bc47ad61e05f74496d28dc4e68dd2b 7676044 math optional acl2-books-source_6.2-1_all.deb
cbdeeda8a9f391fa31ca59b8c77264f3 10237130 math optional acl2-books-certs_6.2-1_all.deb
3b7ca08dd78797093b3c5efaec7e8aa2 12511122 doc optional acl2-doc_6.2-1_all.deb
2eed583f96b6c89c82a76c5add681e00 28090744 math optional acl2_6.2-1_amd64.deb
4c4f9fdb9deb144070609ecc9260b3d2 211120 math optional acl2-infix_6.2-1_amd64.deb
5898e64e937afa53b6413fb37f57d5c8 35754472 math optional acl2-books_6.2-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iEYEARECAAYFAlHgF1sACgkQczG1wFfwRdyoHgCfUzard6TqvvjfCyZ6Bj5km6zs
PYgAn3GFs7pA1JtyPEprGPnCv1xY7PZq
=z9LA
-----END PGP SIGNATURE-----