Back to acl2 PTS page

Accepted acl2 6.5-1 (source all amd64) into unstable



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