Accepted acl2 7.4dfsg-1 (source all amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 08 May 2017 16:58:52 +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: 7.4dfsg-1
Distribution: unstable
Urgency: medium
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 (7.4dfsg-1) unstable; urgency=medium
.
* New upstream release
Checksums-Sha1:
8344bae8e3fc3228ba9a4cd20c6493ea04c3c211 2231 acl2_7.4dfsg-1.dsc
f4d2228841178628baf46fcc8ea7f596d9e46950 65270638 acl2_7.4dfsg.orig.tar.gz
dff51220703fa195f01ab17bb565a0c755fb47ba 204416 acl2_7.4dfsg-1.debian.tar.xz
cb74476619c7cc23ae165e1d5ac45474d60ca3d0 64529044 acl2-books-certs_7.4dfsg-1_all.deb
8d0508b291f6b072f250f16ebd962a2e46bf8666 11974128 acl2-books-source_7.4dfsg-1_all.deb
63c6a1e6d0921a7b9074faca56ebd9cc236118be 121130334 acl2-books_7.4dfsg-1_amd64.deb
0ab86293581e2006c736085458ea8043e8806d9d 387474 acl2-doc_7.4dfsg-1_all.deb
3a99057df82975317f620695ec0e0697c9d9b3d3 66768 acl2-emacs_7.4dfsg-1_all.deb
9172c82c76f70203ba83707f6de1f3cb0520ed07 78852 acl2-infix-source_7.4dfsg-1_all.deb
430c1910f2201d9ed653cc0f8c669aae37bd8322 420506 acl2-infix_7.4dfsg-1_amd64.deb
5bea744570e332016bd53dd7258e2eab927db2c3 3004704 acl2-source_7.4dfsg-1_all.deb
ccb0110efdd83baf289597def7d432aaeb5e9de3 12898 acl2_7.4dfsg-1_amd64.buildinfo
ea5ffa09864739022e1a93a8b63558f2118fba81 18291886 acl2_7.4dfsg-1_amd64.deb
Checksums-Sha256:
acd5b6fd7fb5c4f62f9a23eb74df143c578c204b8aa82fe45a6ab7b02dc6e7f5 2231 acl2_7.4dfsg-1.dsc
ed552f85afa580904a97fed43bb7d8bf3fe2dc15caadb4e308db0dfdc7bfe84b 65270638 acl2_7.4dfsg.orig.tar.gz
3927bd8a534ebb5af2df677bed5fdbb772d7b3520eedac8c314f3d918f382862 204416 acl2_7.4dfsg-1.debian.tar.xz
662d100fcb7ef600ed29797f05b3a9f61af9a365d6318b13499fc99259294584 64529044 acl2-books-certs_7.4dfsg-1_all.deb
aa0c6c5bfd11b8180e1f7500aad10ccaadf66c5f4059e4b975cd8ae8e3ab49a8 11974128 acl2-books-source_7.4dfsg-1_all.deb
70e7a8409c865b0d4f3b2e862750e2988d2e6f7d2f210195f5c21ce10f4ee090 121130334 acl2-books_7.4dfsg-1_amd64.deb
c97ae8c3c84ec9743ff982bf09df5aa1791232dacdb578cc6e6f941b24d888ef 387474 acl2-doc_7.4dfsg-1_all.deb
849758e109a5947da1fab112d601766a4bcf1a04fe7106449e9f708128d1453c 66768 acl2-emacs_7.4dfsg-1_all.deb
34e21b31c69433740edc7f8ef53794b67874a79d247d3574fc0783270f90f2be 78852 acl2-infix-source_7.4dfsg-1_all.deb
e5831d62b2b7068e7a41239a0e3f8b5ca286014a67ee8ddbd35bae688fb8c5ad 420506 acl2-infix_7.4dfsg-1_amd64.deb
9ab78cbac5f02b717e7dc00c315e99668b9e46eb964dda9ae39b8e723528119a 3004704 acl2-source_7.4dfsg-1_all.deb
e244dbd40f9c6f67537ce2f26cdf1c8647544742780d012fe10febcd559ff668 12898 acl2_7.4dfsg-1_amd64.buildinfo
4bcd56d0fe5ada552c77496f25343faff6cdbd897f21b26fc203b8afe06a0947 18291886 acl2_7.4dfsg-1_amd64.deb
Files:
32436eeda3eebc220ca90fabf9af2082 2231 math optional acl2_7.4dfsg-1.dsc
65cefd7c81ad258209418d9659a1b853 65270638 math optional acl2_7.4dfsg.orig.tar.gz
3b15776f4c06275ec82803bcd62f877d 204416 math optional acl2_7.4dfsg-1.debian.tar.xz
a5953f3c670df0c67668fed3fb590263 64529044 math optional acl2-books-certs_7.4dfsg-1_all.deb
3b65cacb6b50fb3e895a2bcc31d735f5 11974128 math optional acl2-books-source_7.4dfsg-1_all.deb
c93be6918a9324b0953d974df11748ee 121130334 math optional acl2-books_7.4dfsg-1_amd64.deb
75ad89ce2cdc4682912ec1d6afbe2923 387474 doc optional acl2-doc_7.4dfsg-1_all.deb
e0ee3467b158b38bd7bd1664a58a3931 66768 math optional acl2-emacs_7.4dfsg-1_all.deb
15a88a5c5521572a718135f0fac409dc 78852 math optional acl2-infix-source_7.4dfsg-1_all.deb
b2c4fb4219a3fa3d7ae21aee999043db 420506 math optional acl2-infix_7.4dfsg-1_amd64.deb
cdae650f793d9042e492d9995621f7e4 3004704 math optional acl2-source_7.4dfsg-1_all.deb
74f6ca7e501b4022363bbf37b61d2137 12898 math optional acl2_7.4dfsg-1_amd64.buildinfo
d311b0351721d39e40dc381e7700f935 18291886 math optional acl2_7.4dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJZEmQKAAoJELhFzlEPm3FNGvAP/0aXmgN0uYMMZd34p4hgSrDp
DiFIcjsLKzuQI7Oc8h12Av2fgYaXtw4TR1Q1NYKckgLKiQl4jS0x/yyxvrEh8rrT
JcTEYyr70Nf3gwmHeh2ywVAax6Mgksbw8Kpv0V2z2/JFViZhCvV9gmdZZ4mDGUUL
jHGt7VYwJnPZGfGfPVbaRsQnuuvu10TUf07jmn5gzaBCT8ytWxl+itPmDr6TiS9e
NIdLEEOee9feOzc7J+OxqGDYSaRn2VXZHZY3BoxUkF6bzDwOl3WhI/poNMAbVbfE
EiB+ONnuRgzWriUQjIh72vbqDgATpUwXHGKlpM7mwqh2oVLLizewCpX8jkAEvTEU
ZZw8mxuqMDJGmU1XRGpqoTzNdw9pv9dJGPGWgwgsd+fU+Fj39bo7EUQXnzkWEB6m
KVJudHoGH/J07tw+g8ABLhGJdR5Vay0oW2jcWHTlawHUcST7oI2+EZJlcnIm1gdq
QmxQ1AiOt84cI6d5t/aNvIfUY5sEdcFE2Xbw40dnZqZugS3Id6jL1w84ZoT3huzA
I3NI14s/zineK8twYWFJzYkz7zlqsjJWIRjOIBxqJ9PK3suAi+lGWA83MRqq0+fc
XKHmv3hWoa8TgDwmi8RMxMFWBrbe/8ffOqSIhQzChjq5CYgOo7eG7Ru5fhIaEPZ3
IfIBW20YlWF3OOUmf4OZ
=OGfQ
-----END PGP SIGNATURE-----
Reply to: