Accepted acl2 7.1-1 (source all amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Fri, 29 May 2015 14:33:46 +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: 7.1-1
Distribution: unstable
Urgency: medium
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 (7.1-1) unstable; urgency=medium
.
* New upstream release
* build-dep latest gcl
Checksums-Sha1:
5fd7118303d23649a18428c381baf34accd88ec4 2203 acl2_7.1-1.dsc
66fc9812410886fa079eb27d946f56c936018fa1 63342334 acl2_7.1.orig.tar.gz
9fa96035ac032e228fa4b0ca4e1ad76014048df9 128900 acl2_7.1-1.debian.tar.xz
a325093a33a85d5dc57348465da8ceb503c5e850 13232754 acl2-books-certs_7.1-1_all.deb
99bf3d93eed6d002ba2bf1d6f35c1b736c56adb5 9605298 acl2-books-source_7.1-1_all.deb
335e8b0aa28ac3ca307bd764fa9f09c4d17bcb44 19832920 acl2-books_7.1-1_amd64.deb
1b6b3bbd9b46fd7f6906325feabcdd13c74fda4f 367772 acl2-doc_7.1-1_all.deb
ee64dc653bf38bafd15088b201abe7a4b9d9f20b 63756 acl2-emacs_7.1-1_all.deb
c523f870418f85850ac5b76d283c6b12f4b0def2 79218 acl2-infix-source_7.1-1_all.deb
d8fba4ae10fe0fcfe3e059c61e292e7e0d3b1647 152932 acl2-infix_7.1-1_amd64.deb
af7fd4de7959d1199c6c07d0c44c31ad00d2c6a7 2851674 acl2-source_7.1-1_all.deb
1e11b6163ee60887d48bfb26b3736f7466c0ab4d 17262186 acl2_7.1-1_amd64.deb
Checksums-Sha256:
9559c9a8e9ea4662fca9b0849716b9c590ded5ce115d0bedb57715591b433a0f 2203 acl2_7.1-1.dsc
4b17ee4c3bbb554fd6e51009f91899904a61cee88a29613b5886f51637d9ac4e 63342334 acl2_7.1.orig.tar.gz
70bf0f764c93a5230141ffcab41a3c2c30dea25b92bd8ccb4fae1a2a4ad3c940 128900 acl2_7.1-1.debian.tar.xz
b135821914cf1fc54a9a6304db23531b8e078224872ffb222ff52553da123f97 13232754 acl2-books-certs_7.1-1_all.deb
988d9dfc15883cad0ae0fd4346d65f44ff45db185e814e0138c20d145f3a1c69 9605298 acl2-books-source_7.1-1_all.deb
36263bd78173a5b6b9fbd70a03bf07618a6e00f9264fdf358d8ae75d35ca90b6 19832920 acl2-books_7.1-1_amd64.deb
7181255371ba6c86c61dd04dace82221aaedd0866417f82178ba8eba59ef52d9 367772 acl2-doc_7.1-1_all.deb
b9a8ee5dd4371961953bbeb4ae97bb83372db08afbec3d950da82f5d0cd56d31 63756 acl2-emacs_7.1-1_all.deb
f9d3045d7956fa4f9282af70590ccfed0217c2eafeecc789691a730524bca58f 79218 acl2-infix-source_7.1-1_all.deb
7d26c6cb754abad4663cdc4442bdc15f4b7c4b628a896d914f4a4c6711fb1d68 152932 acl2-infix_7.1-1_amd64.deb
35c716a05346aeb5148d1717e8c93cacbe16868319a746044331539c4ba4645d 2851674 acl2-source_7.1-1_all.deb
90e5beff4180f32d3c3a3c5cea08d1bdaeefbed0c29d93efdf0ddc5bbe8dc58a 17262186 acl2_7.1-1_amd64.deb
Files:
b17954357ffa6dbe803c5ca1ed605821 2203 math optional acl2_7.1-1.dsc
2d1cc71bc7b6982c6002111f91545fc7 63342334 math optional acl2_7.1.orig.tar.gz
bec2cf7f280986dc4de11c61d973c039 128900 math optional acl2_7.1-1.debian.tar.xz
379906ef2cd1300b07b4addf49a54902 13232754 math optional acl2-books-certs_7.1-1_all.deb
1ae64774135e327c78a687b7431d7609 9605298 math optional acl2-books-source_7.1-1_all.deb
61e2aeaf6159e70e965088e6ae9d022e 19832920 math optional acl2-books_7.1-1_amd64.deb
7c8fc609e7e65e6128bf746233380ac8 367772 doc optional acl2-doc_7.1-1_all.deb
426ec67f969f1d2768a58375604eaf0c 63756 math optional acl2-emacs_7.1-1_all.deb
753db737078b492cb8e1ce63f3a10856 79218 math optional acl2-infix-source_7.1-1_all.deb
50733c304356d0ea8dfbbef2aeba9258 152932 math optional acl2-infix_7.1-1_amd64.deb
9f7572b8dfc51bf8a96d85e5360f4305 2851674 math optional acl2-source_7.1-1_all.deb
6629ae83c408a76b22244fd467ea210a 17262186 math optional acl2_7.1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJVbGnwAAoJELhFzlEPm3FNAGQP/2q+IKbVjvTQTaE8aekU4TKs
ZMXwaLQW/IQv62FeBZCxO6I0t1EVBL3HQGeaoBBnC9NDhM82MrOraa6Qi6yjK9Rj
j5meyeYIqIMI82/3DcWcj5JVU0LpjnSe+ousdaThFVeJ/oimyQpWYpQMb9luk6VH
baZPLfy8JeI4SKkxOjt98frlpi5jnyVw0bv4VR4Akv8YcG0mmQ2qiTjXrycdMPOR
+KUSbik9WpK7iZv5FPy8HTGGWyRnXd7r7p+srbJorCxrEqD711mvqox4k98ZRwJx
XoUC3kWH9v2hSIsZHrnB5eVgR0qo5ffncR4j/7GUhJ3ccyn1rsec7vdxdjHaEKco
ZSpAMfgyJXck6P9V0dsj+sWGiAy7adL4Qs+JB22M6ZR3Vtppcmyj9IGaJnaeVbgy
dDSUyYfxS/QxcOKcM+KKPgC1iqff60O7dRIQ+FzTm3QyEh2arm9wnXWdxrWr1Z7h
5KhL41Cej7MeyKgmZbL5OZd3/p0MAN3YMvKiFIp6SMR1YVmY9Y/gt0eStYUAs34F
0NBQDBKfHZSR40230eXnU/FK3yLySHI7qWirW/+JK++v5/I6IJ/z2unuJYqwNum6
7kh6DtO4RqSfoqPBFYAoRGAUFSAvh/pN5DdeX2jVGrW5EeMpLTWU/kbaKuCntLAh
3IMD3XWQPU+Banudomtq
=8nnz
-----END PGP SIGNATURE-----