Accepted acl2 6.4-2 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 07 May 2014 18:31:48 +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.4-2
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
Closes: 746203
Changes:
acl2 (6.4-2) unstable; urgency=low
.
* certify-books run with -j 8 -l 2.95
* Bug fix: "Process running beyond build (missing escape in
debian/rules)", thanks to Michael Tautschnig (Closes: #746203).
* build-dep latest gcl
Checksums-Sha1:
d202dc67fd2d4dd0ba12fb7d2d7585fb43107ee5 1814 acl2_6.4-2.dsc
5839f58677d5b7ea1252aca40fb1269ce23df823 126496 acl2_6.4-2.debian.tar.xz
e6f1dc114948d08a755b8272912269c1f02f712a 2730714 acl2-source_6.4-2_all.deb
0542a39d4672cc79b6f697cdcb8c3548193c547f 59766 acl2-emacs_6.4-2_all.deb
86b5be7fab51f22dfb02196470e847c236d5d442 78036 acl2-infix-source_6.4-2_all.deb
2a2f1bbabe2b94f5a4cf8be4e9faa7ab60780cd4 6499656 acl2-books-source_6.4-2_all.deb
8be21c3617f9ad6d5f0f0f7ccea44d717f077f55 4268340 acl2-books-certs_6.4-2_all.deb
f201bd5d17c0426c2e54e20b456d130df5b7096f 1639250 acl2-doc_6.4-2_all.deb
cf7cfd5b6a8faf317235119c4833b6064f21f21e 15309352 acl2_6.4-2_amd64.deb
9f29f0f0230514bdc0b14d6eff851961787cd00a 150704 acl2-infix_6.4-2_amd64.deb
edea8ad921b3b815f776ffc1ca1ba14e6153b890 19630530 acl2-books_6.4-2_amd64.deb
Checksums-Sha256:
4919e2c8f2657e1d66c2e3a597a91a60bc772926a16b0e51a4585494c5930d44 1814 acl2_6.4-2.dsc
c67db2e4bebdaabc19e4be36e658d492fad71c583c1270ff158ebe41b4e35946 126496 acl2_6.4-2.debian.tar.xz
5ac02de5da92d3b3d724785c601eb5c6fd5a2f1b7ede98b33372516475cc861c 2730714 acl2-source_6.4-2_all.deb
a789eac87dde1c9b96dcb852189c91726d5e3523d5e24e495e001ba7579ccd3c 59766 acl2-emacs_6.4-2_all.deb
f57a3537b97f4917a989502ed5ffd0240db3e0e726f7e9247980983884f5499a 78036 acl2-infix-source_6.4-2_all.deb
1d2827ec59003eba588d69f41c1575289b5e97259e94c9ccf84fa9b3541cecdb 6499656 acl2-books-source_6.4-2_all.deb
fd3cce42f3f33bb8f1456bba257cc9ff623f8e6e0c6158d58d22a4834a2fcb0b 4268340 acl2-books-certs_6.4-2_all.deb
d5283294c58afa9d6aefff965775e6485cc4a371378649d8b242e22f0cc9d6ff 1639250 acl2-doc_6.4-2_all.deb
5d65c13c8b393e7802adbd64a09ac6a22c238b67050ebe07bf71d092ae38a93c 15309352 acl2_6.4-2_amd64.deb
ac59c0b0460a0f7b1745903e6f07a780b1b393199c9af6e172c5a53d4080cc73 150704 acl2-infix_6.4-2_amd64.deb
94cc999582b7796ad1c60c5531707d2f44b4edeb2784ce02e4bf21ffe995d7cc 19630530 acl2-books_6.4-2_amd64.deb
Files:
b379100d654244fd91846da7b88c847f 2730714 math optional acl2-source_6.4-2_all.deb
b7d0f70b58782c138ce0df6e8105a800 59766 math optional acl2-emacs_6.4-2_all.deb
1a71081837daddb4ebbd6e7c02a661da 78036 math optional acl2-infix-source_6.4-2_all.deb
d86d8d1db80da467eb17a990c40ffe20 6499656 math optional acl2-books-source_6.4-2_all.deb
7d49d683bcd15160cd8e933e3c4cc0b9 4268340 math optional acl2-books-certs_6.4-2_all.deb
3e7e06e891ee63fc5f6cfc8bfe20cc8b 1639250 doc optional acl2-doc_6.4-2_all.deb
6ee93e1a69b4724617e69e9258cc2dbc 15309352 math optional acl2_6.4-2_amd64.deb
fb28b45484d5fc9fd334a505569f462c 150704 math optional acl2-infix_6.4-2_amd64.deb
49f734c555ab2d8b4aeca202ebe2ff6b 19630530 math optional acl2-books_6.4-2_amd64.deb
6b56b2690834be3a1b7e70ee2cfb965f 1814 math optional acl2_6.4-2.dsc
2df581cf7814f33850c546f72a6f68df 126496 math optional acl2_6.4-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iEYEARECAAYFAlNq538ACgkQczG1wFfwRdwimwCeOc+Y9vwbwAeQIGb3TCDhUQUi
9AQAoIq76SWBtFMR20V47kpniognvNP8
=PHD1
-----END PGP SIGNATURE-----