Format: 1.8
Date: Fri, 29 Oct 2021 14:06:33 +0000
Source: acl2
Binary: acl2 acl2-books acl2-books-certs acl2-books-source acl2-doc acl2-infix acl2-infix-source acl2-source elpa-acl2
Built-For-Profiles: noudeb
Architecture: all amd64
Version: 8.4dfsg-2
Distribution: jammy-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lcy02-amd64-032.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-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
 elpa-acl2  - Computational Logic for Applicative Common Lisp: emacs interface
Changes:
 acl2 (8.4dfsg-2) unstable; urgency=medium
 .
   * append make.log to build output
Checksums-Sha1:
 3a26e04b417206ca52c5a4a3ea3221773e2ec3a1 231831222 acl2-books-certs_8.4dfsg-2_all.deb
 ccdf7e6e2d023df946f6471e99847eccb401a80b 22136204 acl2-books-source_8.4dfsg-2_all.deb
 d11ad8e45be9582e2be8323e67419ed6040635e2 353947352 acl2-books_8.4dfsg-2_amd64.deb
 e31e57cdf6870f0bfccc7d7d816288df542857c7 451656 acl2-doc_8.4dfsg-2_all.deb
 7742024e8d86750ba66ad13f2f69a825b5d867b9 73680 acl2-infix-source_8.4dfsg-2_all.deb
 e0c2353b2548643f923b8064e71a640b4a3f7e33 564006 acl2-infix_8.4dfsg-2_amd64.deb
 8c015c1bdf46384dfaa332be828eeb332630ee29 3536828 acl2-source_8.4dfsg-2_all.deb
 f4cf13018e6bdf69691393a5b5480504079f6288 12493 acl2_8.4dfsg-2_amd64.buildinfo
 fc3f2169a430d6e7e893de81e58a3d1fe04ab0b0 26133150 acl2_8.4dfsg-2_amd64.deb
 72485a48e450945603b6ccd2a73c79dd0a6f20ef 70790 elpa-acl2_8.4dfsg-2_all.deb
Checksums-Sha256:
 7020630da62b6dc1bf6b9fa0f9298782786f62c2446c782985acec3c0a5759ad 231831222 acl2-books-certs_8.4dfsg-2_all.deb
 cc375903823ca76d8cb49e38368c84c409c059f30fd1f172e4b221f9c8ad309e 22136204 acl2-books-source_8.4dfsg-2_all.deb
 a92915e7e31f7af858b7882ef671d742d8763b58c4af8ef0e419e44dbb0c89ce 353947352 acl2-books_8.4dfsg-2_amd64.deb
 f30332b52b1ee21878fcc405ac3de6dc93461c75112e8fbb55365b35e0be164e 451656 acl2-doc_8.4dfsg-2_all.deb
 8ac2f02f75fe47f9f7b4ab0858acb133b7513cbd493a1273051edd8372a57988 73680 acl2-infix-source_8.4dfsg-2_all.deb
 303b5d21f850264c702ee186e66f2852d7a49c6cc73416b3ef9f43fc71799612 564006 acl2-infix_8.4dfsg-2_amd64.deb
 dc480a88d5acca460d76ffb4a78d40c8534e847a2e198304181f14388eb7c85b 3536828 acl2-source_8.4dfsg-2_all.deb
 d779dabb83b9e83484c946fdc427abe984eb8b7e3d1a0b3125ce63fab0b27c74 12493 acl2_8.4dfsg-2_amd64.buildinfo
 52bbf1bc6d3dc858f4943d88b46ea97f3da25cbf9c0a95a6f1f937664f621824 26133150 acl2_8.4dfsg-2_amd64.deb
 9fddaa23a916f90a50e64150985b7d94d2741c3bb92581e2d50966061e9f97fd 70790 elpa-acl2_8.4dfsg-2_all.deb
Files:
 14e5cd7419c8983c95836c2c619eaa65 231831222 math optional acl2-books-certs_8.4dfsg-2_all.deb
 bdac833b2be3cfa7afeac7fef92ec100 22136204 math optional acl2-books-source_8.4dfsg-2_all.deb
 c29f33ee7c72530dc4673b281f8a7c4f 353947352 math optional acl2-books_8.4dfsg-2_amd64.deb
 34e84e346de1bf1b5694e113097603fe 451656 doc optional acl2-doc_8.4dfsg-2_all.deb
 9f232ae8b2a8739aa9d184dc85892782 73680 math optional acl2-infix-source_8.4dfsg-2_all.deb
 380daf86898c1ee973f0c91ffda505c4 564006 math optional acl2-infix_8.4dfsg-2_amd64.deb
 3eb44a07e93d452e58866df9112d1b87 3536828 math optional acl2-source_8.4dfsg-2_all.deb
 c68d363d81562ceece11302a7944ac26 12493 math optional acl2_8.4dfsg-2_amd64.buildinfo
 5a81416a07d27616305b6772bc3fb7a4 26133150 math optional acl2_8.4dfsg-2_amd64.deb
 61ec8c8d12cd8705bb0d8a2601088503 70790 lisp optional elpa-acl2_8.4dfsg-2_all.deb