Format: 1.8
Date: Fri, 12 Jan 2018 14:04:36 +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: 8.0dfsg-1
Distribution: bionic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-002.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 (8.0dfsg-1) unstable; urgency=medium
 .
   * New upstream release
   * Applied dfsg changes from 7.1
   * build-dep latest gcl
Checksums-Sha1:
 c95737fa32af95e983433bfa9f8522690fa56ac0 73403184 acl2-books-certs_8.0dfsg-1_all.deb
 0314b4ff6e9c03a77cad957f1154c465c6096feb 12466104 acl2-books-source_8.0dfsg-1_all.deb
 04d9716815d85af6ffcbe149f08fc41d32acead1 138083420 acl2-books_8.0dfsg-1_amd64.deb
 27b56114f74ab48f9b0860b6ce1dd57b7d6396f2 394360 acl2-doc_8.0dfsg-1_all.deb
 739ce0df125890ce5605a703bb5641efe42b8c36 60340 acl2-emacs_8.0dfsg-1_all.deb
 e30c7de163be65005dc53c81d0b3ee39f2c88e53 71888 acl2-infix-source_8.0dfsg-1_all.deb
 946930746d25d0b15d5e7e6d0c9de655ea40595e 424152 acl2-infix_8.0dfsg-1_amd64.deb
 70fd5df53ad966ad329a0a8365dd07d0ede8a3ec 3074488 acl2-source_8.0dfsg-1_all.deb
 2f34cc074b59314d5b2fe4fd2145280ea8b96186 11366 acl2_8.0dfsg-1_amd64.buildinfo
 a901100462c29961537047142d8c71979d966303 19704384 acl2_8.0dfsg-1_amd64.deb
Checksums-Sha256:
 4be119cdffed60082b9423f69c072d9750b642967430e8e8f51b5647e03107f2 73403184 acl2-books-certs_8.0dfsg-1_all.deb
 1aa29bb4fd951a0f4122998cec322527250e494d00b77fe5eb8001d07d5555d5 12466104 acl2-books-source_8.0dfsg-1_all.deb
 b6dbf4e2160569d701f99f9f027c7aff391c2404f1c9c376bf97742364859eb4 138083420 acl2-books_8.0dfsg-1_amd64.deb
 d283f010172e1582ba11e2c30d9d33831406758fd5a4c4d8762102dcd2648bbd 394360 acl2-doc_8.0dfsg-1_all.deb
 eb8046694dcab3bfd58cf6f683b0152c6bcbf7fa634e7735d30a5044c9382e9b 60340 acl2-emacs_8.0dfsg-1_all.deb
 d86e6eb0c0386bb26ea8bb9bd4d135b4c4930af5cf31b9302382a267d3db8971 71888 acl2-infix-source_8.0dfsg-1_all.deb
 eabf114262c45011db8d6a477705ada6cc88b8401e6958a73c4e78001b74970a 424152 acl2-infix_8.0dfsg-1_amd64.deb
 c8f541b83d7678dbe48946512fc605867fcad43b822a524b92874a2b2bcaecba 3074488 acl2-source_8.0dfsg-1_all.deb
 b6c82c1d5c5253a92eee314eb19a4605abf9d8e61e39d83aabbfcb5bfca5e62c 11366 acl2_8.0dfsg-1_amd64.buildinfo
 746234317fd193038be866993cd526e326d1de463fa9330846f22c3743c6b6f5 19704384 acl2_8.0dfsg-1_amd64.deb
Files:
 2600d46edcc548956cd0f1d45c91bd83 73403184 math optional acl2-books-certs_8.0dfsg-1_all.deb
 10d459e7e1f2b006cf7c8cd56f06807d 12466104 math optional acl2-books-source_8.0dfsg-1_all.deb
 7136567c20062d488fd8838a59023a23 138083420 math optional acl2-books_8.0dfsg-1_amd64.deb
 1554dc56a848d95dbbd499f4b19b9566 394360 doc optional acl2-doc_8.0dfsg-1_all.deb
 2609a427beafce7a120cc0af0b7541b2 60340 math optional acl2-emacs_8.0dfsg-1_all.deb
 feac870e6cfaaa5e83db3ceeb0a91890 71888 math optional acl2-infix-source_8.0dfsg-1_all.deb
 e7d4cdd9ac2b39418277700a90043ea5 424152 math optional acl2-infix_8.0dfsg-1_amd64.deb
 91bc4e4bcb78b1bd547b079279d1398c 3074488 math optional acl2-source_8.0dfsg-1_all.deb
 301cc6bacce0d443388adc230c165506 11366 math optional acl2_8.0dfsg-1_amd64.buildinfo
 3fde3bd4835857b0d767a1f167b80ff4 19704384 math optional acl2_8.0dfsg-1_amd64.deb