-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 09 Jul 2010 13:00:12 +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.0-3
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.0-3) unstable; urgency=low
.
* compile nats to avoid invocation stack overflow on #-native-reloc
machines
Checksums-Sha1:
31146ced599e0dfb5939b4570884554ffb260c7d 1168 acl2_4.0-3.dsc
3c9ea8a8013701106b6ab6a848b5fe7523b2e593 15953 acl2_4.0-3.diff.gz
fe1f5db771998543c9c431dd1c26ece4264c76c7 3026226 acl2-source_4.0-3_all.deb
4ff9558d69f2b378f483e3df724bbb0272d882ad 58156 acl2-emacs_4.0-3_all.deb
ad22d4f25ad978d499934cc6008e49b248c1b7d7 89318 acl2-infix-source_4.0-3_all.deb
c1f44c19c8cd2c3df61bda80b1a0f81767bf10a6 5286616 acl2-books-source_4.0-3_all.deb
121920bd139f4f62f48ed4061886b57da18159c2 2007572 acl2-books-certs_4.0-3_all.deb
fc33195bee41968bd5c4e8574f206d482f8043e3 2826154 acl2-doc_4.0-3_all.deb
2b815132118ebfc37994293ed4fc4635d7189ff9 22361038 acl2_4.0-3_i386.deb
9fb85a113f9569f54690c2f81d9874c7c827ef91 390414 acl2-infix_4.0-3_i386.deb
e48fecd0806edf392a2de657cf546524e14a049b 34005186 acl2-books_4.0-3_i386.deb
Checksums-Sha256:
9c53299ba97afd6ce6c3851b2a824cd704dab1ae5c98b669ca2d2a726115ee26 1168 acl2_4.0-3.dsc
3835bedf951387a5367294876fac96ee3adee50a875ee68e2455e910556d54a8 15953 acl2_4.0-3.diff.gz
12f9afeaeb32580c06d59b1a455f3a1cf5392baf1ca5485584970186b1ca5faf 3026226 acl2-source_4.0-3_all.deb
094f38e919fcb05cf846441215c614a1254434aeb35d5173ddea3f0e47a31645 58156 acl2-emacs_4.0-3_all.deb
23ae3a355b9226c40de5154c33d06bc6f5cfd0fe7f35241040bd04db444707c7 89318 acl2-infix-source_4.0-3_all.deb
381f60eee2d608760d5a6334086e706a18c12e4d1cdc62fbe9d31abb3da7e7c2 5286616 acl2-books-source_4.0-3_all.deb
026182a7227354ef75faee224e8dd29143c7f1e8064ed9ec211a96367cf5884b 2007572 acl2-books-certs_4.0-3_all.deb
da9bb728b3ad376e4ebda791cf13a4aad1683363803bedfb1fab874c13c97968 2826154 acl2-doc_4.0-3_all.deb
6c63de85397d951b1c7a7b777a93f7eb5f8a147c54ee4eb338e2e6e0a31e03f5 22361038 acl2_4.0-3_i386.deb
2139ee6e96e21d0386804c40cc6b6228bea89e227e02e46d02a65fa80b2e346e 390414 acl2-infix_4.0-3_i386.deb
24d96e3fd5810855089f718927925a9e9acd301784bf232a3a0355ea771719d2 34005186 acl2-books_4.0-3_i386.deb
Files:
54305cec97b142bc6f1795cfd092aea7 1168 math optional acl2_4.0-3.dsc
eb763682aa2f255748d5d11fc3ba3509 15953 math optional acl2_4.0-3.diff.gz
73297c9af6b5c6c111ecd375b69fe270 3026226 math optional acl2-source_4.0-3_all.deb
9f61911c6de01501c27c21678aed9f7c 58156 math optional acl2-emacs_4.0-3_all.deb
37de469b637f44cdc624221d347bf93d 89318 math optional acl2-infix-source_4.0-3_all.deb
aa98de3bc15f8069943ca4c60e81c15f 5286616 math optional acl2-books-source_4.0-3_all.deb
f10982c03f698981bbf6afbfb71a602c 2007572 math optional acl2-books-certs_4.0-3_all.deb
0a3a0fde554b5a58f777ff1f5d05e97d 2826154 doc optional acl2-doc_4.0-3_all.deb
9b29eb865c336d8b01494843b04d02de 22361038 math optional acl2_4.0-3_i386.deb
9ffc35b11ed7689d40deba565e22a1dc 390414 math optional acl2-infix_4.0-3_i386.deb
9086f340ca7bc797272456bc7c4da1ef 34005186 math optional acl2-books_4.0-3_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkw3SK0ACgkQczG1wFfwRdxp2QCeLldm57SXJ4jwk3YoQOroeIEk
YAkAniadYmggflu6VwKFEsYWYAUuaREP
=rFX5
-----END PGP SIGNATURE-----
Accepted:
acl2-books-certs_4.0-3_all.deb
to main/a/acl2/acl2-books-certs_4.0-3_all.deb
acl2-books-source_4.0-3_all.deb
to main/a/acl2/acl2-books-source_4.0-3_all.deb
acl2-books_4.0-3_i386.deb
to main/a/acl2/acl2-books_4.0-3_i386.deb
acl2-doc_4.0-3_all.deb
to main/a/acl2/acl2-doc_4.0-3_all.deb
acl2-emacs_4.0-3_all.deb
to main/a/acl2/acl2-emacs_4.0-3_all.deb
acl2-infix-source_4.0-3_all.deb
to main/a/acl2/acl2-infix-source_4.0-3_all.deb
acl2-infix_4.0-3_i386.deb
to main/a/acl2/acl2-infix_4.0-3_i386.deb
acl2-source_4.0-3_all.deb
to main/a/acl2/acl2-source_4.0-3_all.deb
acl2_4.0-3.diff.gz
to main/a/acl2/acl2_4.0-3.diff.gz
acl2_4.0-3.dsc
to main/a/acl2/acl2_4.0-3.dsc
acl2_4.0-3_i386.deb
to main/a/acl2/acl2_4.0-3_i386.deb
