Accepted acl2 6.2-4 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 23 Jul 2013 18:11:51 +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-4
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-4) unstable; urgency=low
.
* build-dep against latest gcl
Checksums-Sha1:
dfc4e924217ac5ced87d13ef3f1442da38c1e28a 1746 acl2_6.2-4.dsc
45f44034c625afc547d2dd50b5b4cc1f2e930c32 160378 acl2_6.2-4.debian.tar.gz
b849d6e48b13505d60ac30cf61b95c6ce2928c7a 3762278 acl2-source_6.2-4_all.deb
e5f9d84ae37cbb40456dcafd65d8db7ed13f9e77 61762 acl2-emacs_6.2-4_all.deb
44c87b5b812aa9f8905409807525d5be124ed7d8 92586 acl2-infix-source_6.2-4_all.deb
70d4872aba8cf7941dd6aa77c4ae3fd9ff8e0759 7676200 acl2-books-source_6.2-4_all.deb
951b8ade9d55c734d12afc3da39128e16a057094 10236314 acl2-books-certs_6.2-4_all.deb
f1f89197bbd38db11365475d3c0c5bcab61ac60f 12511366 acl2-doc_6.2-4_all.deb
7ad6e8c4142a8278e3afacfd628601cc03e97e44 28083146 acl2_6.2-4_amd64.deb
3861ca0e4cc4d1be3c6d619c0bfbc03df1985ce4 211160 acl2-infix_6.2-4_amd64.deb
7fb439b5955e4a13525e51872219e184779447c9 35761414 acl2-books_6.2-4_amd64.deb
Checksums-Sha256:
1f65a66720ea5be8a0797b6f43f667114e3fa86b4de019466f65f9ee70b8da53 1746 acl2_6.2-4.dsc
3048b6eb97104606690f8b05f2588e944fb889792420f8943ee6090c31f26c86 160378 acl2_6.2-4.debian.tar.gz
d96b6d1f8f269633471764c518fe4e53a6d9b23531ddca51d02e84b65ff08296 3762278 acl2-source_6.2-4_all.deb
75f238dddf247d245b9cf0c4dba6aa949d17957465663426053384a97e60d044 61762 acl2-emacs_6.2-4_all.deb
0752b5556a8cec79a2f7a21f1f92c598609e0c1ba90577279c9292b77197fef7 92586 acl2-infix-source_6.2-4_all.deb
8e2e7621b3df0889a0e3e8201f1b458e617b275e8bb537d993963a8be25ed3fc 7676200 acl2-books-source_6.2-4_all.deb
524b4917e1226fa410f0486879bc7e89ed76a27852557e1e45f5c69e634a74c3 10236314 acl2-books-certs_6.2-4_all.deb
56cbcf13c3dd51faea7693df705cd6915776410751caf784eda9e74f5d277f39 12511366 acl2-doc_6.2-4_all.deb
04114f1d8193abb4d950cea73ab497e1f145f9998ed9e7dafcf1e38fb69b9de7 28083146 acl2_6.2-4_amd64.deb
302834ecfab07251bebfa88db5f20c3d2091531aa3f7ffadd324e7d7f705b38f 211160 acl2-infix_6.2-4_amd64.deb
64af4064e654f08ad6d0b6dd012c4a073f2648dce41681e25a576d544a784919 35761414 acl2-books_6.2-4_amd64.deb
Files:
a37b54250c0f00eabbd3fd3e250df524 1746 math optional acl2_6.2-4.dsc
76b45d5f4e315d31f0986cd56e489bc3 160378 math optional acl2_6.2-4.debian.tar.gz
293c8c9790066c8990859c0f1c3b726b 3762278 math optional acl2-source_6.2-4_all.deb
8d3a65100a0e2ce988110b820f1121d8 61762 math optional acl2-emacs_6.2-4_all.deb
766df4377148aee72547e0c12ee65976 92586 math optional acl2-infix-source_6.2-4_all.deb
8a7ac32b83472eaf89a379f04bb9fc8b 7676200 math optional acl2-books-source_6.2-4_all.deb
2cf11669ddd246277ab8f33299c6c56e 10236314 math optional acl2-books-certs_6.2-4_all.deb
f23e95dcaff0049b9d226754cc153afd 12511366 doc optional acl2-doc_6.2-4_all.deb
6e558f8f342a998af85f29b3ad314958 28083146 math optional acl2_6.2-4_amd64.deb
38f32a13808e88cad73f71c99f861019 211160 math optional acl2-infix_6.2-4_amd64.deb
e467d77da53d2e7b7cf2b708d59434aa 35761414 math optional acl2-books_6.2-4_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iEYEARECAAYFAlHvK9AACgkQczG1wFfwRdzZowCggFJVtdi4MCPzdTuOy984aZQf
MXYAoKms5Ht1745Dlceqr0Uh1JRl/FPp
=Abrr
-----END PGP SIGNATURE-----