Back to acl2 PTS page

Accepted acl2 7.1dfsg-2 (source all amd64) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 27 Oct 2015 19:33: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: 7.1dfsg-2
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.1dfsg-2) unstable; urgency=medium
 .
   * rebuild latest gcl, tail recursive equal works around setrlimit bug on
     s390
Checksums-Sha1:
 7b921cac316fbfd6205eb30c0bde99f56ca75d57 2231 acl2_7.1dfsg-2.dsc
 11bc5c69f8f372ceb392aef04d391a16ce5bc0ec 203600 acl2_7.1dfsg-2.debian.tar.xz
 3a36bc39d62b66abe1bb5ffc665d4284b19359ec 13225934 acl2-books-certs_7.1dfsg-2_all.deb
 f3342d1c9b2bc7990f2e861fb1153636ac06a83c 9605454 acl2-books-source_7.1dfsg-2_all.deb
 67a09313df3f4eadd1927aa7427925a630193d83 67032094 acl2-books_7.1dfsg-2_amd64.deb
 6a189018465a78a75025c6b8b511cd6a8361fd4b 367272 acl2-doc_7.1dfsg-2_all.deb
 d7f7e7175f0ba4cac5b543b0bae28bcce7455965 63384 acl2-emacs_7.1dfsg-2_all.deb
 4b279e80ae00d21a4d2658a502206cf2eef9f837 78742 acl2-infix-source_7.1dfsg-2_all.deb
 44a808bb59b1a4e9fb11feb4ed3848993348e9de 408836 acl2-infix_7.1dfsg-2_amd64.deb
 21b0d36f035bfae02dc485f711a1c8a70136bc78 2851262 acl2-source_7.1dfsg-2_all.deb
 7acc712fe960aa8601ec26cff5f287b65928d056 17193626 acl2_7.1dfsg-2_amd64.deb
Checksums-Sha256:
 bd19819bd0ca971f2c70384396b351c2e76a9cc2d76fe0fa61a280fb3ed5ebdf 2231 acl2_7.1dfsg-2.dsc
 428f09ac04d478135aec46d9688c475a889ff0a55633cae39ae7c2859bd1499c 203600 acl2_7.1dfsg-2.debian.tar.xz
 6be7a204355a72e786c8e3dcfa4905ed6146274db0450c7620f4c7a2890fa3d8 13225934 acl2-books-certs_7.1dfsg-2_all.deb
 4fd256a8e96682a031883c2ac3b9b270dff49a7399977c71e59c07c09e1ae1ec 9605454 acl2-books-source_7.1dfsg-2_all.deb
 f5fad8fc462a71239669d93c50a11a8e346199dc43af3ef2c677efb3606336c5 67032094 acl2-books_7.1dfsg-2_amd64.deb
 11ec5977e5b2a2525b01a5b7d00a3ec2edc20c852ce2b4b1a7330d0e95707e68 367272 acl2-doc_7.1dfsg-2_all.deb
 f2c64d895ed6ea39fba17cff7271759d62440a0126bab860fc3a4ba0240ba20a 63384 acl2-emacs_7.1dfsg-2_all.deb
 ef541d9a509b7329eca7fcc24b5772a7ad6821a4134ec48ff831d8fb74b2c3ad 78742 acl2-infix-source_7.1dfsg-2_all.deb
 fb31a5a470d4071820d92a36c141674d162eec3054d97fd9018ff226f90d5a40 408836 acl2-infix_7.1dfsg-2_amd64.deb
 6dcf79a19849f9f38bb9cd307691d26d901b263d07f78b51dc6d84d8e8610ea0 2851262 acl2-source_7.1dfsg-2_all.deb
 f705f7037237053424591148762d861b0430168303cd7faec13e07c495935bc9 17193626 acl2_7.1dfsg-2_amd64.deb
Files:
 fabfdc254e70891758f27d3b6605d22f 2231 math optional acl2_7.1dfsg-2.dsc
 ffa8fc56d2c6c217f84a8970db3fc247 203600 math optional acl2_7.1dfsg-2.debian.tar.xz
 b9f0ec7686d840d349d71602d82a7ed6 13225934 math optional acl2-books-certs_7.1dfsg-2_all.deb
 d5cfeb5d88604cf2bcfc7e0bb6f5d7f9 9605454 math optional acl2-books-source_7.1dfsg-2_all.deb
 934301239ae5451c20809a648739a9da 67032094 math optional acl2-books_7.1dfsg-2_amd64.deb
 bed503ff30467531b9d7b6a9c4fcb85b 367272 doc optional acl2-doc_7.1dfsg-2_all.deb
 04f4efb97de5595ec3d0a4198258c970 63384 math optional acl2-emacs_7.1dfsg-2_all.deb
 3060e610a8fbe4cf734dd55b35be2e3d 78742 math optional acl2-infix-source_7.1dfsg-2_all.deb
 4247657b04041f57f8ebe61e1747e399 408836 math optional acl2-infix_7.1dfsg-2_amd64.deb
 e16bda1993ca1bbcaae91f9cb15c409f 2851262 math optional acl2-source_7.1dfsg-2_all.deb
 22eedd4249a6f21d36a2d713578dff82 17193626 math optional acl2_7.1dfsg-2_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJWMUUgAAoJELhFzlEPm3FNYkcQAJ4NamTnqR/b2a+rd+IvCPgC
3swtzTBJIbduPctIId7YERkPqZDgrG/l5a4XS9V+8V1GdMKV8xfTJMwRLjwFBFei
V3JLCSvU3CeRBO94bqASvWLkstO4O1Zj/oZPKIII1TI2oQ9O/qO9tpa0SXIjeiYj
+lNfq+R81GWBN/CCjHNRRFyjX7eJeMr0x57rl0H7I23kpJF1ZXBm0awXV7YFIEqX
+xpFRa25d8YhHQH/bMCOvUgRYorEk2eHaVgC0l66ct67ZNKt1FNn2o1AtNp6vwcr
TqwW6x+VP9R91LHI+TfQGuMt+fCR65N02uQTicXdRAHefHiywOmWDulRwHB0Hlvs
T2SHD4L8iw/fl/pXmmqDTeIOoxbz6uk5dJ3QxIUa9/iPUr1bXeAGoRPgdKLXi/e1
oKO55PV/qZ+cMbQJIZROF2aR+9MnjzDOVx9uBszHqshop9Q7pF+uyvNoswggLLEh
RTQI5x4IaRaIx20FC1DMPtflV34eRnq8ZCViCwn5AIMJOrK0UNfQOGZtlafom6be
kOQRPqJBarcl+dQVdui3IwSAKY2hS4jY9oWiq7b0RKbXidHjfMZG6qNgZwi6FLwn
iP/v3+u9k5k6ZqZqNWhU14wVPOFsm6Momb4hUSq0RbIsuK5V2Bga3eXqaYVegc99
GBz7aEacRHuoqB7MMR2h
=XNAN
-----END PGP SIGNATURE-----