-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 08 May 2017 16:58:52 +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: 7.4dfsg-1 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Maguire <c...@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 (7.4dfsg-1) unstable; urgency=medium . * New upstream release Checksums-Sha1: 8344bae8e3fc3228ba9a4cd20c6493ea04c3c211 2231 acl2_7.4dfsg-1.dsc f4d2228841178628baf46fcc8ea7f596d9e46950 65270638 acl2_7.4dfsg.orig.tar.gz dff51220703fa195f01ab17bb565a0c755fb47ba 204416 acl2_7.4dfsg-1.debian.tar.xz cb74476619c7cc23ae165e1d5ac45474d60ca3d0 64529044 acl2-books-certs_7.4dfsg-1_all.deb 8d0508b291f6b072f250f16ebd962a2e46bf8666 11974128 acl2-books-source_7.4dfsg-1_all.deb 63c6a1e6d0921a7b9074faca56ebd9cc236118be 121130334 acl2-books_7.4dfsg-1_amd64.deb 0ab86293581e2006c736085458ea8043e8806d9d 387474 acl2-doc_7.4dfsg-1_all.deb 3a99057df82975317f620695ec0e0697c9d9b3d3 66768 acl2-emacs_7.4dfsg-1_all.deb 9172c82c76f70203ba83707f6de1f3cb0520ed07 78852 acl2-infix-source_7.4dfsg-1_all.deb 430c1910f2201d9ed653cc0f8c669aae37bd8322 420506 acl2-infix_7.4dfsg-1_amd64.deb 5bea744570e332016bd53dd7258e2eab927db2c3 3004704 acl2-source_7.4dfsg-1_all.deb ccb0110efdd83baf289597def7d432aaeb5e9de3 12898 acl2_7.4dfsg-1_amd64.buildinfo ea5ffa09864739022e1a93a8b63558f2118fba81 18291886 acl2_7.4dfsg-1_amd64.deb Checksums-Sha256: acd5b6fd7fb5c4f62f9a23eb74df143c578c204b8aa82fe45a6ab7b02dc6e7f5 2231 acl2_7.4dfsg-1.dsc ed552f85afa580904a97fed43bb7d8bf3fe2dc15caadb4e308db0dfdc7bfe84b 65270638 acl2_7.4dfsg.orig.tar.gz 3927bd8a534ebb5af2df677bed5fdbb772d7b3520eedac8c314f3d918f382862 204416 acl2_7.4dfsg-1.debian.tar.xz 662d100fcb7ef600ed29797f05b3a9f61af9a365d6318b13499fc99259294584 64529044 acl2-books-certs_7.4dfsg-1_all.deb aa0c6c5bfd11b8180e1f7500aad10ccaadf66c5f4059e4b975cd8ae8e3ab49a8 11974128 acl2-books-source_7.4dfsg-1_all.deb 70e7a8409c865b0d4f3b2e862750e2988d2e6f7d2f210195f5c21ce10f4ee090 121130334 acl2-books_7.4dfsg-1_amd64.deb c97ae8c3c84ec9743ff982bf09df5aa1791232dacdb578cc6e6f941b24d888ef 387474 acl2-doc_7.4dfsg-1_all.deb 849758e109a5947da1fab112d601766a4bcf1a04fe7106449e9f708128d1453c 66768 acl2-emacs_7.4dfsg-1_all.deb 34e21b31c69433740edc7f8ef53794b67874a79d247d3574fc0783270f90f2be 78852 acl2-infix-source_7.4dfsg-1_all.deb e5831d62b2b7068e7a41239a0e3f8b5ca286014a67ee8ddbd35bae688fb8c5ad 420506 acl2-infix_7.4dfsg-1_amd64.deb 9ab78cbac5f02b717e7dc00c315e99668b9e46eb964dda9ae39b8e723528119a 3004704 acl2-source_7.4dfsg-1_all.deb e244dbd40f9c6f67537ce2f26cdf1c8647544742780d012fe10febcd559ff668 12898 acl2_7.4dfsg-1_amd64.buildinfo 4bcd56d0fe5ada552c77496f25343faff6cdbd897f21b26fc203b8afe06a0947 18291886 acl2_7.4dfsg-1_amd64.deb Files: 32436eeda3eebc220ca90fabf9af2082 2231 math optional acl2_7.4dfsg-1.dsc 65cefd7c81ad258209418d9659a1b853 65270638 math optional acl2_7.4dfsg.orig.tar.gz 3b15776f4c06275ec82803bcd62f877d 204416 math optional acl2_7.4dfsg-1.debian.tar.xz a5953f3c670df0c67668fed3fb590263 64529044 math optional acl2-books-certs_7.4dfsg-1_all.deb 3b65cacb6b50fb3e895a2bcc31d735f5 11974128 math optional acl2-books-source_7.4dfsg-1_all.deb c93be6918a9324b0953d974df11748ee 121130334 math optional acl2-books_7.4dfsg-1_amd64.deb 75ad89ce2cdc4682912ec1d6afbe2923 387474 doc optional acl2-doc_7.4dfsg-1_all.deb e0ee3467b158b38bd7bd1664a58a3931 66768 math optional acl2-emacs_7.4dfsg-1_all.deb 15a88a5c5521572a718135f0fac409dc 78852 math optional acl2-infix-source_7.4dfsg-1_all.deb b2c4fb4219a3fa3d7ae21aee999043db 420506 math optional acl2-infix_7.4dfsg-1_amd64.deb cdae650f793d9042e492d9995621f7e4 3004704 math optional acl2-source_7.4dfsg-1_all.deb 74f6ca7e501b4022363bbf37b61d2137 12898 math optional acl2_7.4dfsg-1_amd64.buildinfo d311b0351721d39e40dc381e7700f935 18291886 math optional acl2_7.4dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJZEmQKAAoJELhFzlEPm3FNGvAP/0aXmgN0uYMMZd34p4hgSrDp DiFIcjsLKzuQI7Oc8h12Av2fgYaXtw4TR1Q1NYKckgLKiQl4jS0x/yyxvrEh8rrT JcTEYyr70Nf3gwmHeh2ywVAax6Mgksbw8Kpv0V2z2/JFViZhCvV9gmdZZ4mDGUUL jHGt7VYwJnPZGfGfPVbaRsQnuuvu10TUf07jmn5gzaBCT8ytWxl+itPmDr6TiS9e NIdLEEOee9feOzc7J+OxqGDYSaRn2VXZHZY3BoxUkF6bzDwOl3WhI/poNMAbVbfE EiB+ONnuRgzWriUQjIh72vbqDgATpUwXHGKlpM7mwqh2oVLLizewCpX8jkAEvTEU ZZw8mxuqMDJGmU1XRGpqoTzNdw9pv9dJGPGWgwgsd+fU+Fj39bo7EUQXnzkWEB6m KVJudHoGH/J07tw+g8ABLhGJdR5Vay0oW2jcWHTlawHUcST7oI2+EZJlcnIm1gdq QmxQ1AiOt84cI6d5t/aNvIfUY5sEdcFE2Xbw40dnZqZugS3Id6jL1w84ZoT3huzA I3NI14s/zineK8twYWFJzYkz7zlqsjJWIRjOIBxqJ9PK3suAi+lGWA83MRqq0+fc XKHmv3hWoa8TgDwmi8RMxMFWBrbe/8ffOqSIhQzChjq5CYgOo7eG7Ru5fhIaEPZ3 IfIBW20YlWF3OOUmf4OZ =OGfQ -----END PGP SIGNATURE-----
