Accepted acl2 6.3-3 (source all kfreebsd-amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 14 Oct 2013 15:09: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 kfreebsd-amd64
Version: 6.3-3
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
Changes:
acl2 (6.3-3) unstable; urgency=low
.
* set HOME to $(pwd)
Checksums-Sha1:
631bbaaba2c78e57c3915d729bd6cf09ce2ce903 1749 acl2_6.3-3.dsc
1c704a886939ec68e32cee9f252225a2f27eb392 161421 acl2_6.3-3.debian.tar.gz
42f888e07a3dbe2883c9498e564466ce2cb9fa19 2732582 acl2-source_6.3-3_all.deb
34376745219fc4e71db4cc5358f66da82261f113 52590 acl2-emacs_6.3-3_all.deb
fe2c55f15a57aa94535fe4b156ed54f63aa30ed8 77544 acl2-infix-source_6.3-3_all.deb
ae67fb36b6b1c884edbe9feb4e31c21b0c53901e 5343540 acl2-books-source_6.3-3_all.deb
f3f9dbc77e139af33642626ed51301bfd6052eef 3617824 acl2-books-certs_6.3-3_all.deb
1d24ea379321ab322d040be74e7727a7607a5c11 14416358 acl2-doc_6.3-3_all.deb
9ad5204628a5fce9127ec5ca81416891fec566a3 16445140 acl2_6.3-3_kfreebsd-amd64.deb
783faaf8255d62ca2e4c107b2a7da1c507dd04f5 148686 acl2-infix_6.3-3_kfreebsd-amd64.deb
29599e3bcfe5d04eb476be782ad64f19d8b815de 19182448 acl2-books_6.3-3_kfreebsd-amd64.deb
Checksums-Sha256:
88298c7ba213c3297557c5b3947618159afeedab3c61c97de59bdb6a12da3a1c 1749 acl2_6.3-3.dsc
b96849ba80e483133872feaee5130d85ed8c35fb508ea603054e89ecc0ad74a4 161421 acl2_6.3-3.debian.tar.gz
24b95340133c2527df923ea699d0b61187c2e93e33c21bb3226085a424f759b2 2732582 acl2-source_6.3-3_all.deb
57e7989037658ecdde9f1e7a89bbb482e0e222530de5091a0c5b3c336dcdb198 52590 acl2-emacs_6.3-3_all.deb
99120aa309926933592310a99d0fc4245a38896a8ca91f82d665324e7d59cd1a 77544 acl2-infix-source_6.3-3_all.deb
fc1bf8af6016ea455fb629649443142f8d8056c7d32651c30ee9a70e14110a79 5343540 acl2-books-source_6.3-3_all.deb
cb7a9fd60a2c4e2dceaa7abbc0c586c5c195a34ea33702e87d2a4224cf192f45 3617824 acl2-books-certs_6.3-3_all.deb
38acf0def48a926944682514ca1f1fe79177a9da60e2b20f14bd22923fcaa840 14416358 acl2-doc_6.3-3_all.deb
ce2464eba441075acd82c69af26eea84cb60f44a038c70d6272e9b5a43945e16 16445140 acl2_6.3-3_kfreebsd-amd64.deb
0931914f3bb62db7f0808e32a4f96418469849597252d17e0100866f8bcef7c2 148686 acl2-infix_6.3-3_kfreebsd-amd64.deb
1e722316304285346e2592b937eb893c4f8626ea81f9b4e6c4c041e771835090 19182448 acl2-books_6.3-3_kfreebsd-amd64.deb
Files:
ee97b6fb2f158e2203803baed49676a1 1749 math optional acl2_6.3-3.dsc
59ab8bf27da69f1018324917d6297edd 161421 math optional acl2_6.3-3.debian.tar.gz
16af049179b4720011441f95d5dcf1b5 2732582 math optional acl2-source_6.3-3_all.deb
6dd21123513f9a6d4a90a83d35e261f6 52590 math optional acl2-emacs_6.3-3_all.deb
708c19fe2890aba1fb272e24dc281129 77544 math optional acl2-infix-source_6.3-3_all.deb
ae95eb3d2b73f8ab29b6b587aeaafad1 5343540 math optional acl2-books-source_6.3-3_all.deb
2507bd5045281cff695f51502214db89 3617824 math optional acl2-books-certs_6.3-3_all.deb
2c6d8600c2f0da87209c1cc7f680fa8e 14416358 doc optional acl2-doc_6.3-3_all.deb
9cbe8fbbd5cf4a662d26b8f818e8d0a1 16445140 math optional acl2_6.3-3_kfreebsd-amd64.deb
0ead6cc5fe9b56c7768954763f5fe6e1 148686 math optional acl2-infix_6.3-3_kfreebsd-amd64.deb
71227fca49b2631f01d8c4e48d20a269 19182448 math optional acl2-books_6.3-3_kfreebsd-amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.14 (GNU/Linux)
iEYEARECAAYFAlJdOC0ACgkQczG1wFfwRdyaJQCgl1IYyiJzZbZWrY0KI4kLynI1
GAkAn1TJ4p7Z4qdP7zFPU1X3KbCRpcYW
=QBBr
-----END PGP SIGNATURE-----