Format: 1.8
Date: Fri, 29 May 2015 14:33:46 +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: all amd64
Version: 7.1-1
Distribution: wily-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@tipua.buildd>
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.1-1) unstable; urgency=medium
 .
   * New upstream release
   * build-dep latest gcl
Checksums-Sha1:
 67dc0c85e0f41054348371f379944169815f5613 2838230 acl2-source_7.1-1_all.deb
 9c6bde2b0ea088a9b47abd7eefb0a638229f9d0a 56524 acl2-emacs_7.1-1_all.deb
 171336e8aecd6d2d11032464ad1f083fbcf5716b 72020 acl2-infix-source_7.1-1_all.deb
 a8ec5e3c2e3329afc1a7d64ef94d8cde9d285047 10333152 acl2-books-source_7.1-1_all.deb
 3540d138953e08638d5bb4788f3509ec14c012ac 13191160 acl2-books-certs_7.1-1_all.deb
 9a379920eaac6fda7e03acad7b119261119ddcfa 361780 acl2-doc_7.1-1_all.deb
 abda341c467764c946240d7f24cdbe31441a42f4 17277416 acl2_7.1-1_amd64.deb
 0e79d30504edb5bc20ccb92162c07697a31fb94e 143558 acl2-infix_7.1-1_amd64.deb
 d7894b014241f653a0b178126039841c39b7f01a 19608788 acl2-books_7.1-1_amd64.deb
Checksums-Sha256:
 5737349fc185faa5a702387c787f012f3bd5c9d13109bd95dd6ae12ec7b9b762 2838230 acl2-source_7.1-1_all.deb
 cc4bc1b93a558caae9470d2a755a760a75b93115c013f37a3cdf19782f9722ac 56524 acl2-emacs_7.1-1_all.deb
 0844917d91e544ae16545ff77404ccdc4eb4a9be357ec83226bc799016e0ccde 72020 acl2-infix-source_7.1-1_all.deb
 0414ee7bc47db522573d92b81e51f591df668f28838d965bfac119a562838721 10333152 acl2-books-source_7.1-1_all.deb
 068e057c28371668c0423cf99f0d53e6940a100be33b0ed31a392d5ffcb5db83 13191160 acl2-books-certs_7.1-1_all.deb
 d35ae790c866ce070131c52abe101d8c1e2bb7cf7022c1238650b8bd16fc4d96 361780 acl2-doc_7.1-1_all.deb
 4c5b079b2348676c74355b8dfc93b5055a9bfd97e2695bf9fd44c4072997ac2a 17277416 acl2_7.1-1_amd64.deb
 3376e30ca4194090cdbc5b0bcb6fcfd867eb384c6bedaad64f06cdaf000a560c 143558 acl2-infix_7.1-1_amd64.deb
 4c38de75d487bdd469888663bac5777ea14da7bc48d9ae49b50a5ae934eda3be 19608788 acl2-books_7.1-1_amd64.deb
Files:
 2684812eb751045f164c7ed209f9db25 2838230 math optional acl2-source_7.1-1_all.deb
 177064585128aa88d8569e5d889a5362 56524 math optional acl2-emacs_7.1-1_all.deb
 712cc6da1387d681d5f22ab8d343e500 72020 math optional acl2-infix-source_7.1-1_all.deb
 ffb66049b0a6cc90688ab5dc1362ff92 10333152 math optional acl2-books-source_7.1-1_all.deb
 5ec92758ae4399985ddd926a688fd6e8 13191160 math optional acl2-books-certs_7.1-1_all.deb
 4c20beb84936a5727d6e022917402658 361780 doc optional acl2-doc_7.1-1_all.deb
 67cf63d781543342c082c7bfed782381 17277416 math optional acl2_7.1-1_amd64.deb
 89f9ac1c3280953d00bc69182e5ff7ec 143558 math optional acl2-infix_7.1-1_amd64.deb
 1489c5480bf2dd99ec0c292f0c7f1af9 19608788 math optional acl2-books_7.1-1_amd64.deb