-----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-----