Accepted acl2 6.3-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 02 Oct 2013 20:19:51 +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 amd64
Version: 6.3-1
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-1) unstable; urgency=low
.
* New upstream release
Checksums-Sha1:
dc71d1256b8890d791c830d4c27458ec35422f71 1748 acl2_6.3-1.dsc
cd0412a7e7463f05bc95149c5ca2d9ec2d32f6a6 13598991 acl2_6.3.orig-books.tar.gz
12c336c03e3d8cd5a62acc062eea085a7ff97751 7068895 acl2_6.3.orig.tar.gz
4e3a711b893bf1532e51b2a7fa50db73d8e2ea94 161349 acl2_6.3-1.debian.tar.gz
c4720f20b75d9c0e0228240d22271446aee7321e 2740596 acl2-source_6.3-1_all.deb
e71ed56d3e3d57987c9e61881e21254aae945f81 52642 acl2-emacs_6.3-1_all.deb
9f233c72bed3446c875f5503fb7349fde75d6808 77524 acl2-infix-source_6.3-1_all.deb
98bccb2b5e5f5b6e12d44e989253203cd3e291f9 5431478 acl2-books-source_6.3-1_all.deb
17b5782b620eec76e1372b3103d392dfb734752c 3624468 acl2-books-certs_6.3-1_all.deb
1c2fc825d7f56bbaf1b739524f2eee70359c3ae9 6603348 acl2-doc_6.3-1_all.deb
1ffa5561a3e476d51140652f54bc0af1bf96435c 16439080 acl2_6.3-1_amd64.deb
1f772574876192b7bd43753e74d1784774096972 145880 acl2-infix_6.3-1_amd64.deb
a741d9fa9902aae94b8a7726c7498919515049d3 18937882 acl2-books_6.3-1_amd64.deb
Checksums-Sha256:
f4ff64bb99a2eca0d9cc1ae22068eebbcb8ee872335d3036d9bf19c49cd13fbd 1748 acl2_6.3-1.dsc
29f9c5b1de6131695b01153f337bb107869e9ae0c1b506e46a3de9373bbd1bfa 13598991 acl2_6.3.orig-books.tar.gz
ee7ca85232c36068516e8852a5b31fcd8f38cb2596ce8d4d7934009e28400bb9 7068895 acl2_6.3.orig.tar.gz
e7b7f4494ede92be76da934f5d4ac02a4b0fbd40799015348896a5c584ea9c4e 161349 acl2_6.3-1.debian.tar.gz
3e03c789c6d5a2987c1cf6cff80f3bb57f0866964b466babf2a7a97a34309bae 2740596 acl2-source_6.3-1_all.deb
51cfe677a151b318f82f427f9514e1ea1b5045651d45b45a6f91913c4daf7435 52642 acl2-emacs_6.3-1_all.deb
0d1649a22aee5e28950982b15fe4e2146292f175116d5aace8473b95b9bb2ab3 77524 acl2-infix-source_6.3-1_all.deb
cdbf058dd87dc598bf3d1eb78b1890437f7676505574753c4c0d0acb395362aa 5431478 acl2-books-source_6.3-1_all.deb
8b0b1a67bab29a39468e03fdd03820ff5ea22b7be7efced4aee7381f2cf12ea5 3624468 acl2-books-certs_6.3-1_all.deb
4e24cb1286a791c1f0b00ac19fe08764aca71510c23340ed4c57089815be2acd 6603348 acl2-doc_6.3-1_all.deb
c407254518ead0e9b115bc2d64d17391cfac86ee5ef03e9c2fde6e5e192bb54e 16439080 acl2_6.3-1_amd64.deb
46adf245dcc673044376da4928d6a4e4d6b3bf1da30417649ff693992dbfe6a8 145880 acl2-infix_6.3-1_amd64.deb
2b6c40bd2af55c5680ea4a254937a9a61d7c58756d1732ab9d974b08d0bde5f6 18937882 acl2-books_6.3-1_amd64.deb
Files:
f5a3a6badc91a92e67a3def314f816a9 1748 math optional acl2_6.3-1.dsc
c2532a0b5e416b371a31a464707fb7e4 13598991 math optional acl2_6.3.orig-books.tar.gz
f333676e91224e8d5a22a7c6972e2d72 7068895 math optional acl2_6.3.orig.tar.gz
3704252284471d21a6d7fa3d99733daf 161349 math optional acl2_6.3-1.debian.tar.gz
f06466b7e5c59de0f9db017f4d82bfb5 2740596 math optional acl2-source_6.3-1_all.deb
485f8565739052a805695f7def39e4b7 52642 math optional acl2-emacs_6.3-1_all.deb
1f938769b5321fcc1cd23fad524c10e3 77524 math optional acl2-infix-source_6.3-1_all.deb
ecd4b333e6daab1cc72e2823a5cf590a 5431478 math optional acl2-books-source_6.3-1_all.deb
ec3b5ed3c8ff5b11898633bc424d8df4 3624468 math optional acl2-books-certs_6.3-1_all.deb
f55dbb49b9a631f0729a2bfdd39874a4 6603348 doc optional acl2-doc_6.3-1_all.deb
3ee2927de98a1857a9174a25fd71a6f6 16439080 math optional acl2_6.3-1_amd64.deb
03df3f6e9e0d8ceeec9ba3a580ab10fc 145880 math optional acl2-infix_6.3-1_amd64.deb
eb0f52665d847cbfaa587d2522e1171c 18937882 math optional acl2-books_6.3-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iEYEARECAAYFAlJOtlgACgkQczG1wFfwRdwK6gCdGSb/1FC4Vv8S/EPQp+dXNQfP
yyQAoLQ7pscZ0FR16jhi7SHNJAdb0CQ/
=Bl3I
-----END PGP SIGNATURE-----