Back to acl2 PTS page

Accepted acl2 4.3-1 (source all i386)



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Mon, 09 Jan 2012 21:41:00 +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: 4.3-1
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 (4.3-1) unstable; urgency=low
 .
   * New upstream release
Checksums-Sha1: 
 5f6ecdeae4da0c58f486ea2139f15184e6fb97ce 1478 acl2_4.3-1.dsc
 3c2ef86f4ce07f11ffc3646b7e94eb6fed6422fe 15251431 acl2_4.3.orig.tar.gz
 9f30ec27937f9995932ab7491e54a434a92e9c42 17745 acl2_4.3-1.debian.tar.gz
 996497f2e65f8e9139694412cccb2bb17eb2a8e9 3287610 acl2-source_4.3-1_all.deb
 fe62af44543cc3cbc5f8a69609d8f6c9de03ff09 59038 acl2-emacs_4.3-1_all.deb
 7a4e24eefe56b5cba23410f9d0634d4c2350aab5 89596 acl2-infix-source_4.3-1_all.deb
 30d803df665800e6d313e999e1c95edfca016399 6460118 acl2-books-source_4.3-1_all.deb
 846d9e92c6af4c42d5c682f315c3a839ea6290eb 4424650 acl2-books-certs_4.3-1_all.deb
 889840176714d51d379a7e0aca06931b50bbb7a6 360542 acl2-doc_4.3-1_all.deb
 89199ae70fec1bfbd18dbb9689d3a6e080704b10 24295366 acl2_4.3-1_i386.deb
 ba180e965ed5a4802a517fea8def52fe9e5a9007 182646 acl2-infix_4.3-1_i386.deb
 724e66c39ea3d115a1243b81d732a894c3ca8673 13895034 acl2-books_4.3-1_i386.deb
Checksums-Sha256: 
 be341c7d76d4193bb7011c2fd57f32dbd03abacc3c32f93a01a2a4c79f08a3a3 1478 acl2_4.3-1.dsc
 da26affd74ea716e68262d8bd71489a365f937b6abdfca07fc77614c0c003a1d 15251431 acl2_4.3.orig.tar.gz
 fb4b8861ce5ad292863e07453bfeca42fbce00b3e604161e4ec9af0cb87a7199 17745 acl2_4.3-1.debian.tar.gz
 5d31ad61f53855622ac34d9909be41d74bb778bd72f5778f4619d4c1a8a90932 3287610 acl2-source_4.3-1_all.deb
 adba37aeea23989d50a7c0fd356bfd5b87620f3c25ba18a1bbe72842a62cd692 59038 acl2-emacs_4.3-1_all.deb
 31e144710961e4e0a92c67791ea9493b9d77c72a1c0e2320b3e21a5594528b76 89596 acl2-infix-source_4.3-1_all.deb
 ca4b81bfc0168cb837981c4a45026ddef08d04dd485ff360d083114f72f00bb8 6460118 acl2-books-source_4.3-1_all.deb
 2c63a90c7a65a0c5726eb3d52d42f3775d4382e2700533f29f7ab8771a68e7cb 4424650 acl2-books-certs_4.3-1_all.deb
 7d080f83f3788b949d09cd51d160e3b2e81149c65643a837fc1807c80d97bd52 360542 acl2-doc_4.3-1_all.deb
 97f640f3e2eaf88d5eac702c5843771e15453c8ffbeda05e5063d25a901cf669 24295366 acl2_4.3-1_i386.deb
 38ee1c4a398e7c1394c6fdb7820f1e8dd1177202d6a0dcd15e2130ee7c2b4bd5 182646 acl2-infix_4.3-1_i386.deb
 3775717570606faf8c148e49f0e127c33ba6c10d112fd431ae448ea34d0deabf 13895034 acl2-books_4.3-1_i386.deb
Files: 
 99f47bc1682ba9c910d227c0e42f938a 1478 math optional acl2_4.3-1.dsc
 022c91284da963f344a699090057ddf4 15251431 math optional acl2_4.3.orig.tar.gz
 0fbf5417a10a2a8742e55a46623bdb0b 17745 math optional acl2_4.3-1.debian.tar.gz
 87c6a0e0c11197bc9be9e24b7ce20f22 3287610 math optional acl2-source_4.3-1_all.deb
 93584ea0a16a5c3f03fc9bb7ad5c5841 59038 math optional acl2-emacs_4.3-1_all.deb
 f64a825e3946d5719392bbdad041ad5a 89596 math optional acl2-infix-source_4.3-1_all.deb
 67b84bd095d88c34b295cc643e31d15f 6460118 math optional acl2-books-source_4.3-1_all.deb
 58cbb3cf25000e815d60d3c9a47c4d99 4424650 math optional acl2-books-certs_4.3-1_all.deb
 161d913165e572079bed4e15e68289fb 360542 doc optional acl2-doc_4.3-1_all.deb
 cc1f23f0e7aabe74528d40ec6475f8d4 24295366 math optional acl2_4.3-1_i386.deb
 1a1ae4de04071b0b01752ce0292effea 182646 math optional acl2-infix_4.3-1_i386.deb
 6183e786510fac86bd2c1e5dc00e3f45 13895034 math optional acl2-books_4.3-1_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iEYEARECAAYFAk8N3usACgkQczG1wFfwRdy4HgCggw4Ts5fBFK5LePM77ZtTiyBh
XgAAnRRjsn2QS82k4Oonqb+7c3wAZhbQ
=+bj6
-----END PGP SIGNATURE-----


Accepted:
acl2-books-certs_4.3-1_all.deb
  to main/a/acl2/acl2-books-certs_4.3-1_all.deb
acl2-books-source_4.3-1_all.deb
  to main/a/acl2/acl2-books-source_4.3-1_all.deb
acl2-books_4.3-1_i386.deb
  to main/a/acl2/acl2-books_4.3-1_i386.deb
acl2-doc_4.3-1_all.deb
  to main/a/acl2/acl2-doc_4.3-1_all.deb
acl2-emacs_4.3-1_all.deb
  to main/a/acl2/acl2-emacs_4.3-1_all.deb
acl2-infix-source_4.3-1_all.deb
  to main/a/acl2/acl2-infix-source_4.3-1_all.deb
acl2-infix_4.3-1_i386.deb
  to main/a/acl2/acl2-infix_4.3-1_i386.deb
acl2-source_4.3-1_all.deb
  to main/a/acl2/acl2-source_4.3-1_all.deb
acl2_4.3-1.debian.tar.gz
  to main/a/acl2/acl2_4.3-1.debian.tar.gz
acl2_4.3-1.dsc
  to main/a/acl2/acl2_4.3-1.dsc
acl2_4.3-1_i386.deb
  to main/a/acl2/acl2_4.3-1_i386.deb
acl2_4.3.orig.tar.gz
  to main/a/acl2/acl2_4.3.orig.tar.gz