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