Accepted acl2 7.0-1 (source all amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Fri, 16 Jan 2015 10:35:45 -0500
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.0-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.0-1) unstable; urgency=medium
.
* New upstream release
Checksums-Sha1:
517df01f8cd8d0e81890eb2b50760fd5e21a5462 2202 acl2_7.0-1.dsc
44872d6ffa394d8456e700708fa7225b1f9490d2 58301172 acl2_7.0.orig.tar.gz
f405419dd0c2b9594d1fc05a82b907da6929ed0a 128864 acl2_7.0-1.debian.tar.xz
a8c08cab55e691f51cdbe59fbad93346c345fc13 2827500 acl2-source_7.0-1_all.deb
f28eaffc10c2932d48cfc1a98c7b542e2ac65bf4 61366 acl2-emacs_7.0-1_all.deb
fe12224bef76c032c5755a053792baa8ebddd635 79502 acl2-infix-source_7.0-1_all.deb
5e167ebc37a26949ffd906b09d84f0d64afe1bd2 8843414 acl2-books-source_7.0-1_all.deb
dc9b46c46bd294add7f4dd523440b15e45ad5fe6 69317728 acl2-books-certs_7.0-1_all.deb
362cadc932fb1e746d3c84e555ccfff182d1149d 344822 acl2-doc_7.0-1_all.deb
450cf354c90fb5d5a6178cbfea1cd78e3addc57b 15871450 acl2_7.0-1_amd64.deb
762f6023704fad72ddd19d7829e58711e520dea6 152586 acl2-infix_7.0-1_amd64.deb
c532f8e71bdc4c54f950aa041bace2d1b56b8dbd 25404948 acl2-books_7.0-1_amd64.deb
Checksums-Sha256:
69dbc4a6e30549f1576d27cd1c5f6d030ad6753bc4fb9c0f75b0807da93675d3 2202 acl2_7.0-1.dsc
dbbe63ddbe342072fa0504e05f9e02fb01bb654b6befcc1e34ba7ceab2b1e0eb 58301172 acl2_7.0.orig.tar.gz
f4942184c3c1a5ffaf23e5ecdb5b71100599423e41627886159bc71eee75b946 128864 acl2_7.0-1.debian.tar.xz
9e176b76492e86160f677b656ea153bae85988ee0f2191133b38715b1b977b51 2827500 acl2-source_7.0-1_all.deb
0fce183770fc815b1e383e382a003a96872296f235335ee1f1a46285e508baa1 61366 acl2-emacs_7.0-1_all.deb
9c54977c28081f86dbf2a5dbff2f672a95dc2b23e5086acd494bb5bdb28949f1 79502 acl2-infix-source_7.0-1_all.deb
c7b79d783f8c8a70eb5e7d029de10bca32fb10c4b689b19952c659f1eabce937 8843414 acl2-books-source_7.0-1_all.deb
7a13d247891d4170fb92b5f1393686a1b0350bb5006949887eb1e986916a8cc3 69317728 acl2-books-certs_7.0-1_all.deb
7afb85a7e52ad802a76854daa63c5cb18c12383fb4f2af30d262bba4b789dd10 344822 acl2-doc_7.0-1_all.deb
2bd2deca81461f6a58390266a8c72f2e02b4401bbbd53e06a4b6585beca147d6 15871450 acl2_7.0-1_amd64.deb
9b2bfed7f3c9f752e4798e4884811cd74654f82d9666cd621a6a755f9625055b 152586 acl2-infix_7.0-1_amd64.deb
710b2a32a12f375c9568619f925d4d27d2086ca2b5abc9dcdea0d6654d8ad867 25404948 acl2-books_7.0-1_amd64.deb
Files:
078d5c58c0eb72dd1e1d7480c4ac4145 2202 math optional acl2_7.0-1.dsc
092a3797aed16b680910d626d9d7958b 58301172 math optional acl2_7.0.orig.tar.gz
66d0870b02727c1e9d1ced7a1a35a52b 128864 math optional acl2_7.0-1.debian.tar.xz
a5dccea59d0888f655b79979708d9928 2827500 math optional acl2-source_7.0-1_all.deb
2d33588481f30f21bd586d35f55380b6 61366 math optional acl2-emacs_7.0-1_all.deb
1d07f6ee68eb647c3773e6b3eb80327d 79502 math optional acl2-infix-source_7.0-1_all.deb
dad22b9545a26ec6cc04f8bcde8723b7 8843414 math optional acl2-books-source_7.0-1_all.deb
593f1822ad2cd362954465f429f88bb5 69317728 math optional acl2-books-certs_7.0-1_all.deb
9640b835f13c5f94ea34fd0c0f89a81b 344822 doc optional acl2-doc_7.0-1_all.deb
5f6280850a5e6938c3419257b82ec862 15871450 math optional acl2_7.0-1_amd64.deb
0c01561ee75dae79c87418b8a99202f9 152586 math optional acl2-infix_7.0-1_amd64.deb
8d22b5d0eed07bd422fd05ca03c57d5e 25404948 math optional acl2-books_7.0-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJUxvfLAAoJELhFzlEPm3FN72cP/0I2P/z1TFMy/QqUxWgtaRPB
DETgxg8BvlfjHRTV+tOfqyB2xVhAa9aQ5F9lA+7drrG8Y/R9PVs7yvCnTuWZvs7C
8rs6wXYTFE41wNmKUz7FZXehNs6//m45oiW4gcJUPNYzHh6f6KYgy1768cLCnZRs
xCOsmTqwaY9E3ksGYj6GzoVMjsTXebYujujaF60vqtiz15op65U34maMlZTtTaHb
S4q8rK+/5Q14BnQoevdGL+3taFGWUDjYT/9v43tB9hqypTD18iz85WaB1IL2SzKC
1pn9MwVA3RS5VbOPuhPboJAGJUN5ldSxZlrceMfp9qTNMUMF7UVl68zRogK0eH82
fP2T8QFZGMUsf9MxfO86bbRM1cs6zWEw72Qf6liLMjdq3sc64klb/V1847ampgNx
kT7TxHXwnpaO2i7VMB/Ntv5OIJzf/KOPJdxQSpk3mNcR+KGHpSuO76wIrisFvZJ1
9iQzfJgqFLbFmMhbI3UW7KHUxacp34K0KTjSuv5AUewADXPVvLPB5Gr5DKnnpcit
iLOBz6nSXqhCW1PR2jZGcX2klaKuehOfm7ulgFP596Q0bM0X3R3JRF9H1+0QJIS2
CLMhKf998W5eRRuIaM2DV0S5pxo8LogQbqlfgHDy7UO2fBDfuoJJI6WlrQPFUSZx
tp4ygOpcrI85wxhrbooX
=RGUt
-----END PGP SIGNATURE-----