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


-- 
To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/e1v4cap-0006yz...@franck.debian.org

Reply via email to