-----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-----
