-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 05 Aug 2014 16:04:06 +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.5-1 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.5-1) unstable; urgency=low . * New upstream release Checksums-Sha1: 62df5868c96e0cce7a3c6711c7474e0c17e3eca9 1810 acl2_6.5-1.dsc 7444597f5003ef9d2a7561c414064a2d498a4485 14978744 acl2_6.5.orig-books.tar.gz c0125f43b222f40db98a0e573cfe5e1cf12d4294 6192434 acl2_6.5.orig.tar.gz 960e506791e10eccde9285087dfbb2c3759f0ecc 128192 acl2_6.5-1.debian.tar.xz 4b5af7991eed5e16c187f7e5f4c379f7909a59f5 2764700 acl2-source_6.5-1_all.deb e4f8a307955c3f449bc7741272df0da0c0c0594e 60876 acl2-emacs_6.5-1_all.deb 453dd9e778c7c51eb55fb68ec868b6f273cb188e 79424 acl2-infix-source_6.5-1_all.deb 183ebd236de13b4bfc1a10a35a4557ab783fb6d5 6957474 acl2-books-source_6.5-1_all.deb 4e5537e41a09cc3768665546969f14d01673206c 6498798 acl2-books-certs_6.5-1_all.deb 1a7d892495755c2e47e60dd80068ce52c3fa96ca 1672106 acl2-doc_6.5-1_all.deb b881638cda2728b876fb5acd7616224efd51e1da 16322752 acl2_6.5-1_amd64.deb 2c32a69526e0848e695153478f73d22998d2779d 150590 acl2-infix_6.5-1_amd64.deb b1a365861eaac7093eafa9a1593f8a26c22529ba 23140358 acl2-books_6.5-1_amd64.deb Checksums-Sha256: 9b327d1c585e45c698a6bfe39463f38817302308bd4fabf0b8215a41c922838f 1810 acl2_6.5-1.dsc bb1b95a06f2e946f9610d7221bb97eb1be126a64cb01ef85efa69fafe9454c34 14978744 acl2_6.5.orig-books.tar.gz cf8c1c81a68429d1d77d6e23c9a84cbd0ec9e270f21aa04d00bafa761f656ea6 6192434 acl2_6.5.orig.tar.gz 7b99cf93c607f7f98c30b9a7b31bd118ff267b0f43e16ad2dcf3125c0728a23d 128192 acl2_6.5-1.debian.tar.xz 319cb88b259a2c66bbec26ccb41f2c134eb6673c0d229d4b0507b2bc8961ed5e 2764700 acl2-source_6.5-1_all.deb a3e74fe8c947670a37ec2f4682caa65e69e22f2f174fa712b84d937b25b5e28b 60876 acl2-emacs_6.5-1_all.deb fef3d41afc86decdff8cc155140c57ef73515ae92f28b0569f292a665157d51b 79424 acl2-infix-source_6.5-1_all.deb 739734c08ff3352c22138f1444c610612ca91a3821837f0eb8e71989898425cf 6957474 acl2-books-source_6.5-1_all.deb c051531fe7d37482972fbf5df1abe7801cd2a2c1c39abbb16c9e665a35b6bb7b 6498798 acl2-books-certs_6.5-1_all.deb a0fd77fcac4e46e9e57db16d8e1e4fdf2aa52a06a5a9e668c2621cd5e2433d76 1672106 acl2-doc_6.5-1_all.deb 0b73aab12f0e109abbb4969b07842a4c95074f5ec443fb17832f796c2657a2c7 16322752 acl2_6.5-1_amd64.deb 991f1cbeb5ff14b20789349ef5311a88553cbffebb6e06f81cbe9ff918ad9374 150590 acl2-infix_6.5-1_amd64.deb fd8640dbb6faf098e3adee30dd1b8bf48ec25ca565d3f15814ddbd496ea09105 23140358 acl2-books_6.5-1_amd64.deb Files: 5f1ed7679cb3534bf949592983920674 2764700 math optional acl2-source_6.5-1_all.deb f34d777059e5e2f13be0902ec5c4fae2 60876 math optional acl2-emacs_6.5-1_all.deb f0338d802ebf2470b20209de069c95f0 79424 math optional acl2-infix-source_6.5-1_all.deb dbab93f0ebbe7ab412a533b6068ce692 6957474 math optional acl2-books-source_6.5-1_all.deb 392cd6eb3706282d8594a097bd813760 6498798 math optional acl2-books-certs_6.5-1_all.deb 93c5b46ea92a364d9127cf4f2aef0644 1672106 doc optional acl2-doc_6.5-1_all.deb 29fa396366c6f6c045486e929d6c76a0 16322752 math optional acl2_6.5-1_amd64.deb 48147d6ebebacaa7ba5fc7a81da1eb4e 150590 math optional acl2-infix_6.5-1_amd64.deb b6fe701b0b6637ce952173991f7a7b9b 23140358 math optional acl2-books_6.5-1_amd64.deb 69492c3a7e8a909a9ce3359aef2db617 1810 math optional acl2_6.5-1.dsc 487107b1ffcbae00232130586efa85d9 14978744 math optional acl2_6.5.orig-books.tar.gz 70fcf9bac3baca4abfd74fa6035613ff 6192434 math optional acl2_6.5.orig.tar.gz 0f81a52414f041c11c54c63285b76041 128192 math optional acl2_6.5-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlPvalYACgkQczG1wFfwRdwbqgCeJE8yHrvmVwT7BlG2RhrmdRxC fgMAniW74NhYFRpbsEfVCuw4EJTTAcIC =uZIA -----END PGP SIGNATURE-----
