Accepted acl2 3.4-2 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 23 Feb 2009 01:54:24 +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 i386
Version: 3.4-2
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Description:
acl2 - A Computational Logic for Applicative Common Lisp: main binary
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libra
acl2-books-certs - A Computational Logic for Applicative Common Lisp: library certif
acl2-books-source - A Computational Logic for Applicative Common Lisp: library source
acl2-doc - A Computational Logic for Applicative Common Lisp: documentation
acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interfac
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interfac
acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source
acl2-source - A Computational Logic for Applicative Common Lisp: source files
Changes:
acl2 (3.4-2) unstable; urgency=low
.
* New maintainer address
* sparc sgc workaround -- disable sgc here only
Checksums-Sha1:
ec97bbca0fe213045a6727ba70f0cd74e3d00ea1 1183 acl2_3.4-2.dsc
1a006995cdd37b4cab0c1827dfa0faf1e0a068d1 13897 acl2_3.4-2.diff.gz
e1f53f0791cb92ba72ee060c43f91f09a11621dd 2610826 acl2-source_3.4-2_all.deb
bfa7bf87f79dedfde479839a0d631db73f262713 56260 acl2-emacs_3.4-2_all.deb
dfc7d49e794cc5d8d1204d634af03bb576a32c35 88730 acl2-infix-source_3.4-2_all.deb
2d967ded3acb6eeffdba414983e089d1fe001da7 2973976 acl2-books-source_3.4-2_all.deb
4e347011506f2fad8160197577e6ca04e7c10dce 1295318 acl2-books-certs_3.4-2_all.deb
bd98f29247685549d543ae811a5aefee3ae68252 2400658 acl2-doc_3.4-2_all.deb
2b5b206806eff7b6da438348957e4562e452690c 19379656 acl2_3.4-2_i386.deb
de72f3e921a21d81f28398ec6c1f970cbfd85344 399634 acl2-infix_3.4-2_i386.deb
46058675aaa6bd71e89126503fbdb138e750d207 21475906 acl2-books_3.4-2_i386.deb
Checksums-Sha256:
15e9c4d1117f62455872aa9dc6c4b4c9e0e582f1a9c06b92e06524ce31edd8d2 1183 acl2_3.4-2.dsc
b35c62e578439d5519fcd376a69487f1f2b6be84cc14d194bd48d0316fa2f676 13897 acl2_3.4-2.diff.gz
0d6222681d1c97cde1910cf74a73b9e267227916cf6ebc22947d7df15ea56927 2610826 acl2-source_3.4-2_all.deb
5b4fd10c26ecee09706c1730900a841bd72003927d71c0fc84060d7356087ad2 56260 acl2-emacs_3.4-2_all.deb
6d83d40c9ce4090e582efc1d6b72718109527feef9a491431ea876d69b23dea2 88730 acl2-infix-source_3.4-2_all.deb
e05d858418848cfd6ee1f2380fe4856da09bd2c31075a0aa5ec2832451266ef6 2973976 acl2-books-source_3.4-2_all.deb
db8ca8aa060a0dfb9b14e98cb108afd8af1aef7eb8450b0701ac610b99aa4246 1295318 acl2-books-certs_3.4-2_all.deb
6e72736bae1846eb9e1581edf082e5aef7b04a39f22210905702ef932b194bde 2400658 acl2-doc_3.4-2_all.deb
347abd186965f7713dc0cba77f69c5b29d00d562de19a256b1bb80a08bc6a426 19379656 acl2_3.4-2_i386.deb
13b501eebd261249353b73ad1fb983aa4600dbfc68b864b00f39f302264033a8 399634 acl2-infix_3.4-2_i386.deb
1b6b230ee09832aa8fdf99f008814bddf3e3f3f3541d3aa76fac683ae3e26400 21475906 acl2-books_3.4-2_i386.deb
Files:
85f0e9238e498a84a19eaf56d2ff08d2 1183 math optional acl2_3.4-2.dsc
a84e0b5d8ecd58a3857cd85a1e6d7c34 13897 math optional acl2_3.4-2.diff.gz
853f04e0c6dc9f868245ba135de507fe 2610826 math optional acl2-source_3.4-2_all.deb
abfe979b81f9c0464331dc1ea7c8e689 56260 math optional acl2-emacs_3.4-2_all.deb
675c2f6962046eae6a9619b15012aa42 88730 math optional acl2-infix-source_3.4-2_all.deb
971cb3298af557438462eea20e5e2293 2973976 math optional acl2-books-source_3.4-2_all.deb
47d68b1b346e248463212aa414ceeeb1 1295318 math optional acl2-books-certs_3.4-2_all.deb
750c0c9b8fb187afb2b3824cfb089494 2400658 doc optional acl2-doc_3.4-2_all.deb
8efc74c26de57bcc718e63a6e41dfb9a 19379656 math optional acl2_3.4-2_i386.deb
ac43a69fa1aea67655fa8a321e30813f 399634 math optional acl2-infix_3.4-2_i386.deb
f1594445a20254e9feb933c65789042b 21475906 math optional acl2-books_3.4-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkmilRAACgkQczG1wFfwRdz+vACdE9zQTgn2Zswa4JWUQS6BKEu8
HZ8An2d2Lxv2oxIUa4ybGkVWm5LZto5Q
=baJD
-----END PGP SIGNATURE-----
Accepted:
acl2-books-certs_3.4-2_all.deb
to pool/main/a/acl2/acl2-books-certs_3.4-2_all.deb
acl2-books-source_3.4-2_all.deb
to pool/main/a/acl2/acl2-books-source_3.4-2_all.deb
acl2-books_3.4-2_i386.deb
to pool/main/a/acl2/acl2-books_3.4-2_i386.deb
acl2-doc_3.4-2_all.deb
to pool/main/a/acl2/acl2-doc_3.4-2_all.deb
acl2-emacs_3.4-2_all.deb
to pool/main/a/acl2/acl2-emacs_3.4-2_all.deb
acl2-infix-source_3.4-2_all.deb
to pool/main/a/acl2/acl2-infix-source_3.4-2_all.deb
acl2-infix_3.4-2_i386.deb
to pool/main/a/acl2/acl2-infix_3.4-2_i386.deb
acl2-source_3.4-2_all.deb
to pool/main/a/acl2/acl2-source_3.4-2_all.deb
acl2_3.4-2.diff.gz
to pool/main/a/acl2/acl2_3.4-2.diff.gz
acl2_3.4-2.dsc
to pool/main/a/acl2/acl2_3.4-2.dsc
acl2_3.4-2_i386.deb
to pool/main/a/acl2/acl2_3.4-2_i386.deb
Reply to: