-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 29 Jul 2013 18:54:53 +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-6 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-6) unstable; urgency=low . * fix elementary-bounders.acl2 Checksums-Sha1: 8a7ae9482ebc49c18cb80e0c44374b98bee0d84d 1746 acl2_6.2-6.dsc 4f0538c3c5557cff183aa4491d67bfd511f2266e 160699 acl2_6.2-6.debian.tar.gz 64227dcf40ee3a9999ff94d70d2a7602a40ae47f 2712456 acl2-source_6.2-6_all.deb d28a3ac56a1bdd8416db4c05538107deee4c71a5 52414 acl2-emacs_6.2-6_all.deb 88e6f145f319f0c63a3177e1cf7a52d979aeee7f 77456 acl2-infix-source_6.2-6_all.deb fd2a9fd393160b4a39647da497b5914f6043ee9b 4363644 acl2-books-source_6.2-6_all.deb 74d73390412c7caa0bd9fa0124d9ab1cb483237e 3197038 acl2-books-certs_6.2-6_all.deb 123800d6be785eb20a3bfad690af74808ffccb1a 6333576 acl2-doc_6.2-6_all.deb aebad80383adf9273f3ea86239060b41b5282641 16684872 acl2_6.2-6_amd64.deb ed1704f99173fc43bfbde511724e6c131f9c979e 147404 acl2-infix_6.2-6_amd64.deb c95d44321d08bacf686932577d46160bf84df7c2 17009440 acl2-books_6.2-6_amd64.deb Checksums-Sha256: 9009b9da4d15dca345b60a5eb1a5fcc0a000c1bb27addfdcfc8d67ada5675f03 1746 acl2_6.2-6.dsc 8c51472957287303d2f53c6079c300beea6cf15d346f7b68df50cf414da1f121 160699 acl2_6.2-6.debian.tar.gz 87f7a3db8f8aff5e90c95d65cbace5109bce3afc345d404e697a9a33d18fc5d5 2712456 acl2-source_6.2-6_all.deb 76221970a16fe6e8beafbe13cf1375e0379461ee68f9be054f2901ae6ea746cb 52414 acl2-emacs_6.2-6_all.deb e31077230e57192996cf8998514a74bb19025fa8d7d1c6511faa097f519b1c8a 77456 acl2-infix-source_6.2-6_all.deb d2c9347b48ad5923c83bbb86f6cf2b06894b830e5bc52baf7e7d9cf7f868ceb0 4363644 acl2-books-source_6.2-6_all.deb 3013a4f6523b1c98d4dc6dbfe10172a496596abb60420a4650dbd2b66b6a6c60 3197038 acl2-books-certs_6.2-6_all.deb 8822de77706bb8dcd53d7a1c177718b6f7d292a8c6feef44b6c468a97f491ced 6333576 acl2-doc_6.2-6_all.deb defa64cc8298d7e7e34ce2603b901d17a71810ce863995d986b43373ce0ff2ee 16684872 acl2_6.2-6_amd64.deb 3bddf57059f791c8a804cc8c770ea5806b7526b6a820d1da3ba7c87f2e5c463e 147404 acl2-infix_6.2-6_amd64.deb df1b7e620717c11ce1dbc4957fd72324d31a6f743acf2da3b55d2fa9af8949bd 17009440 acl2-books_6.2-6_amd64.deb Files: 6dd77ea17509ec0c60c367c96e355494 1746 math optional acl2_6.2-6.dsc cec8320193099facf8dec01a4e42c465 160699 math optional acl2_6.2-6.debian.tar.gz d0ccb6ef82490cc0896348c0095a1731 2712456 math optional acl2-source_6.2-6_all.deb de955d27f0e90a630c99037f8660512f 52414 math optional acl2-emacs_6.2-6_all.deb 7cdc3987081bfc137081508fc39b8908 77456 math optional acl2-infix-source_6.2-6_all.deb bef826d0decee412cb11579f0e78ba80 4363644 math optional acl2-books-source_6.2-6_all.deb e143427c4870d2651e7c323f1901d2a1 3197038 math optional acl2-books-certs_6.2-6_all.deb 101ed6917b344d1d41317021c57663df 6333576 doc optional acl2-doc_6.2-6_all.deb 79620a9458dee757fb67f4ff448b289e 16684872 math optional acl2_6.2-6_amd64.deb daebcbe20eb0741ee77b188c1873704d 147404 math optional acl2-infix_6.2-6_amd64.deb 4790ed1f64da7909ae48b513c7117c87 17009440 math optional acl2-books_6.2-6_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAlH3294ACgkQczG1wFfwRdwn3wCgsArah5NRYkGdlcgSnok0j7BU uG0An1L2PsawVTr1qYpEyqcI15hXROQP =aToM -----END PGP SIGNATURE-----
