Back to acl2 PTS page

Accepted acl2 6.2-6 (source all amd64)



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