Accepted acl2 8.1dfsg-2 (source all amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Fri, 29 Mar 2019 13:39:10 +0000
Source: acl2
Binary: acl2 acl2-books acl2-books-certs acl2-books-source acl2-doc acl2-emacs acl2-infix acl2-infix-source acl2-source
Architecture: source all amd64
Version: 8.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
Closes: 864877
Changes:
acl2 (8.1dfsg-2) unstable; urgency=medium
.
* Limit number of jobs on memory restricted machines
* Build-dep latest gcl
* latest standards
* Bug fix: "Hangs, defeats hang detections", thanks to Christoph Egger
(Closes: #864877).
Checksums-Sha1:
08e1ba512011b969602a633afb1f410f9e2a2d1d 2245 acl2_8.1dfsg-2.dsc
a1b257aa589d79516084fcd5f173c444aadb5f75 205120 acl2_8.1dfsg-2.debian.tar.xz
9a5c2274d747359a77a1d2d990976ff19bc5cdc3 80875872 acl2-books-certs_8.1dfsg-2_all.deb
877b9fb5fdbd652dd922344a64c338cacd0e62f1 13586400 acl2-books-source_8.1dfsg-2_all.deb
a4a9f2ab24d4c3e5260e4a946892200342a52007 163428160 acl2-books_8.1dfsg-2_amd64.deb
64d51ea5e2b9c5bb6789b4fe24a3d71a2df70421 413128 acl2-doc_8.1dfsg-2_all.deb
0475ac0aa762f12bca89ffb0cdffd32e1d6f42db 67684 acl2-emacs_8.1dfsg-2_all.deb
1d484425d90376f5fe3069e86e65398f2f7f214a 79340 acl2-infix-source_8.1dfsg-2_all.deb
2c973512f783e33792b88b4e126c7f79eba714b8 495764 acl2-infix_8.1dfsg-2_amd64.deb
c9df9c324e790a3b49d97710ce0d8fdddc45d090 3132704 acl2-source_8.1dfsg-2_all.deb
44c75594546ab8e44476889f2939eca99033345b 13737 acl2_8.1dfsg-2_amd64.buildinfo
d0972785eb61c97343bc04e8d83a8a76601dd121 20387996 acl2_8.1dfsg-2_amd64.deb
Checksums-Sha256:
27dcc40536a0956b5ce3b036eaf12a87a4b13bed73e88378eedcc539c0bad78a 2245 acl2_8.1dfsg-2.dsc
88fbf598d5d0479d90efa1b52bf7537905ca6d20b6b9357641d78acff80c6306 205120 acl2_8.1dfsg-2.debian.tar.xz
8cdcb4049375b59ff298a35870f9ecb0040f41f8db4a510d3c10b2443fdb3d17 80875872 acl2-books-certs_8.1dfsg-2_all.deb
fe707627fdfae823c48353f1c4506eabf3e564bcd2e7fea31b92f5665c81a83e 13586400 acl2-books-source_8.1dfsg-2_all.deb
28f2b843ec652a4f563c1ea96de8b36c8ec866780b5345ed5307590606d67ae3 163428160 acl2-books_8.1dfsg-2_amd64.deb
48a223a064f0e510b3732849c04ba3f5f5806b177f730e996c36435a344409c0 413128 acl2-doc_8.1dfsg-2_all.deb
20489216e292cb5997647879dfa8c4032f8e8441192059ea916b4b6869d6dd4e 67684 acl2-emacs_8.1dfsg-2_all.deb
01f116e4202d733ca1d40a9667954bbd3a45a3d00173c6c533e56f4711d1f50a 79340 acl2-infix-source_8.1dfsg-2_all.deb
da0598817ae1f8f1c7d039e691aba882e5e5aae74e139ffd2b860334ce635dc9 495764 acl2-infix_8.1dfsg-2_amd64.deb
68f7c655b184fd52605edabc6b88f43a467fe2ef911721f217f2931dc3b371df 3132704 acl2-source_8.1dfsg-2_all.deb
0472e4c12ff7d6317d10838c586374673e2a9702d741ba5f9b48a524d721b5fa 13737 acl2_8.1dfsg-2_amd64.buildinfo
955a27d9520f2840b3141fd05bfbf29ed08dea611757720d95d700f73fdd13e3 20387996 acl2_8.1dfsg-2_amd64.deb
Files:
d336b22b8125cc7723358ee424527deb 2245 math optional acl2_8.1dfsg-2.dsc
f49e5a965ed7d9399cb37e391bd6991b 205120 math optional acl2_8.1dfsg-2.debian.tar.xz
509f9384102ab47d784c26215f695d37 80875872 math optional acl2-books-certs_8.1dfsg-2_all.deb
5988d2cce406b3cfd6d395b196c4a02a 13586400 math optional acl2-books-source_8.1dfsg-2_all.deb
c4baa69c849c2e8ed267c7474e487ed3 163428160 math optional acl2-books_8.1dfsg-2_amd64.deb
8e8358d6ea93311aee91ab0d35619d71 413128 doc optional acl2-doc_8.1dfsg-2_all.deb
2faf52702e39c55dc1279d13816f345c 67684 math optional acl2-emacs_8.1dfsg-2_all.deb
2cf629698ef1cc6cfe4938ed77827993 79340 math optional acl2-infix-source_8.1dfsg-2_all.deb
4cd451716d83b787e8b8de86a326dfd3 495764 math optional acl2-infix_8.1dfsg-2_amd64.deb
ad3e4419c2a2ecee645d8e2c3626f482 3132704 math optional acl2-source_8.1dfsg-2_all.deb
6defe165ebc2f1f1b902b7690a962be9 13737 math optional acl2_8.1dfsg-2_amd64.buildinfo
be786ec34d73e63dfd26de22c46d3336 20387996 math optional acl2_8.1dfsg-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAlyfcUkACgkQuEXOUQ+b
cU2w0A//W8KEqk56vDxYypCASRtw6j4ykC7FDnmzc41Z0dCiezBeySh9HFO9SAYg
/FrD7/nfRyxvUCBUCmhxzNKb0zvJ6pOJgKgZiIVYlLjiAKops5a8kNhTKfKFwplR
8v1ErBRvHgAhADdQXGJ+fiTN7vPE4eoZvbK7leI6S6p7E+zOWHifE9EL2/c3zd+Y
haEbrZQ53OrEK8AAVJwTIVU0TMNbmGOBFhwAjKgfuTnWIpPRc+Bq0wP22XhlLxnT
TqjrIUmSl+FGDCfRp/zGvPaOBIihpfcsWmr1Z9r3ClTHHAebPgZISX5sHDACEbHd
SlRK4V1AKI5uckWgw+Ian+KbFD3OPROKlcWb02+Ij/buHYm7fKdqhNX8j4nIVucI
Ptms8aeYL1ls+dsMNeSKEgalnyu5JRpOxjEYF2kxiKxJlso1xRiwBI+JCPKnSGeC
K9gVKdxVfPnX0lsdaPZZYwcsQwM/BNPyfZpUalT2e6pgxhYpQZbEThy6UhJU7tmn
qfAQTP0KbSr20MwBYgT/yOcsWUzkDEHTtoX3acFaaScX7Je9yXxfScnVUJ94Fkn1
j8qM8VHjmfOna6siMMy1T75Ab8fEEJ5FrQdu95H0MboMwnCUJE/Vv49OjfqvqDbU
zptuq/FjfciDaulllYMVK8udKe105HVECDDBXZu302IR5Mg25J0=
=gbuO
-----END PGP SIGNATURE-----