Accepted acl2 6.1-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 23 Apr 2013 14:52:39 +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-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.1-1) unstable; urgency=low
.
* New upstream release
Checksums-Sha1:
7e6ece145264f51154275bdd02af2f63098635aa 1741 acl2_6.1-1.dsc
4cf24c6457f95e2acb921154d3f24b17f938cd8e 11131335 acl2_6.1.orig-books.tar.gz
36f8c9312d3548e0db0375169f0eb2d3b61646a5 6865749 acl2_6.1.orig.tar.gz
036f2fd133a21974b18bec1e7196f1570c7d4f9a 159603 acl2_6.1-1.debian.tar.gz
38fd6a3928eb1a3fa843339ba1cc8042e97f4a56 3752160 acl2-source_6.1-1_all.deb
6fb35dadb6e319b155d60d4e17250826ad8f4f31 61434 acl2-emacs_6.1-1_all.deb
8cd3ecc019be703e060ca086d48ae7861dc198d2 92298 acl2-infix-source_6.1-1_all.deb
e421c1cb13bb093f44742a3a2a8918b11db35730 7509256 acl2-books-source_6.1-1_all.deb
6c16a000786a5faba9eb703596d018eec9291176 8884492 acl2-books-certs_6.1-1_all.deb
eb076664731450e0ac7b3eb3e9d7b5df6a2f84e7 12301460 acl2-doc_6.1-1_all.deb
6b1ec21c431974ea483d12dd3b767adba2a551a1 31561448 acl2_6.1-1_amd64.deb
72d813d5771b603204b7cea2265b4e8f612caef0 207254 acl2-infix_6.1-1_amd64.deb
6a3afb037ba7ed2fb8db7ed9e00c0f64df1c504d 30065870 acl2-books_6.1-1_amd64.deb
Checksums-Sha256:
94fda2c3ef02a2f30f39a8a0453a2bb78604ffd0a05654ebd5dcf55fe17079e2 1741 acl2_6.1-1.dsc
6ed80eb4197dde8d851eb719cee70dfb9f054f8e19ff9cd7ef8cb282d5aa9df1 11131335 acl2_6.1.orig-books.tar.gz
a717e9a79a8606d44b5b11696fce2134e62dc63a052a779806245aac6b33c075 6865749 acl2_6.1.orig.tar.gz
90ddb64d7762d5b0cac8819b8ac18f8a936983320be7bc927d3d4980cb8adef0 159603 acl2_6.1-1.debian.tar.gz
68ddec78f8030db9aec0f6c5a13cde2593df811f6ae5c5b9509963d883918b90 3752160 acl2-source_6.1-1_all.deb
938dcaa22ab5846983228c16963d966996f895a358269f120ed4aa2ee1bf5ac1 61434 acl2-emacs_6.1-1_all.deb
c3ffe933cb0a04f6c34d0048f638d00fc5caaafa903c610800c26426c40ac00a 92298 acl2-infix-source_6.1-1_all.deb
0bcd0029f47ffa82b611fe5584b3561fa25236d4db42251661586cf19c3d9bc2 7509256 acl2-books-source_6.1-1_all.deb
0901e73b8895bb0e66dcc4460fb2d24c295231a2cea2311f41e157ed1b4f7c24 8884492 acl2-books-certs_6.1-1_all.deb
4884fdb9872960af0dac9d8e271e111ca1372d545c0bf323bbfce2e2b635f920 12301460 acl2-doc_6.1-1_all.deb
788ee0765c5b4cfb58e7e3f541b971d60e520ee0468bf01c3b117e748b366657 31561448 acl2_6.1-1_amd64.deb
23e5977b1951329401e8b697f26478190bd7f71bd7b59aa7a59f81409356fbd3 207254 acl2-infix_6.1-1_amd64.deb
9463c598fe1ad93e4851eefe6f8ea6e11284e8aa3cca7b5a1dfaef7e1ae2cd0e 30065870 acl2-books_6.1-1_amd64.deb
Files:
457e2adf720085659a504d27c0c21158 1741 math optional acl2_6.1-1.dsc
a48f50dedf5c3c36d733d214970244b5 11131335 math optional acl2_6.1.orig-books.tar.gz
99693662aee214bcc4d9fcd19daa3f3c 6865749 math optional acl2_6.1.orig.tar.gz
88334999f427d1f6a6009d5a4b008ebe 159603 math optional acl2_6.1-1.debian.tar.gz
04045d68ac2fd0765bbfcfd1cc0d2d7b 3752160 math optional acl2-source_6.1-1_all.deb
2767d365bc9399df303a73e1e7876535 61434 math optional acl2-emacs_6.1-1_all.deb
f19f92328fe98d0e4ab67ce1da1e7abb 92298 math optional acl2-infix-source_6.1-1_all.deb
ba94a8e9ba80dcded3d488b263d173c9 7509256 math optional acl2-books-source_6.1-1_all.deb
da7dc6b46276c0959b1116d125dc6e0e 8884492 math optional acl2-books-certs_6.1-1_all.deb
c2e448b7f4c308329da21e915730f6fd 12301460 doc optional acl2-doc_6.1-1_all.deb
9a551ae6a08aabe7fd975914d52987de 31561448 math optional acl2_6.1-1_amd64.deb
af8dbd92115d886075fc7917100697c5 207254 math optional acl2-infix_6.1-1_amd64.deb
66505ef3e16e18a2a6b055b9534f1777 30065870 math optional acl2-books_6.1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iEYEARECAAYFAlGQElkACgkQczG1wFfwRdxCfQCgmRflxAwggjSt11Fa7I0IrAto
lMAAn13pRjJlJEt6tMpFTJXZYsESG3jt
=pgh6
-----END PGP SIGNATURE-----