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