Format: 1.8
Date: Fri, 29 Oct 2021 14:06:33 +0000
Source: acl2
Binary: acl2 acl2-books acl2-infix
Built-For-Profiles: noudeb
Architecture: s390x
Version: 8.4dfsg-2
Distribution: jammy-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-s390x-014.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-infix - Computational Logic for Applicative Common Lisp: infix interface
Changes:
 acl2 (8.4dfsg-2) unstable; urgency=medium
 .
   * append make.log to build output
Checksums-Sha1:
 a5429c8e92f87a5879ddb692bbd14f0f91d7ab20 341322284 acl2-books_8.4dfsg-2_s390x.deb
 7e05822359342f9939d5efa98925624ec77fd43e 567224 acl2-infix_8.4dfsg-2_s390x.deb
 c4bc46efd8d7ec68fb3c873d4354d028ca3f303c 8660 acl2_8.4dfsg-2_s390x.buildinfo
 aadbf8f0f1f8a3eb878e92c45fb72bbad95dd916 25975290 acl2_8.4dfsg-2_s390x.deb
Checksums-Sha256:
 6359092f53de12d51fdbafe8793d6bf19bc6232d7c179dbbe1c81ba5631ac8f3 341322284 acl2-books_8.4dfsg-2_s390x.deb
 68bd04eb93705d326ce9eb075897f1eab0d6c21fcaf4ba5b45e9d6862445d10c 567224 acl2-infix_8.4dfsg-2_s390x.deb
 a2e224932ae74fff71700d63795125c5742044cbb54bba0326671df133edb042 8660 acl2_8.4dfsg-2_s390x.buildinfo
 39cbdeb0e378716834fa95b20de9e05d57970d75635191af3b91773c325c2ef4 25975290 acl2_8.4dfsg-2_s390x.deb
Files:
 b3b542f76a91cb1b658089317fd784c8 341322284 math optional acl2-books_8.4dfsg-2_s390x.deb
 e7b51b662487ad6263656a945de10740 567224 math optional acl2-infix_8.4dfsg-2_s390x.deb
 2a03f916d5e1823c96791099fa4a8c48 8660 math optional acl2_8.4dfsg-2_s390x.buildinfo
 a524b1ec577be8235a53aa8010317e08 25975290 math optional acl2_8.4dfsg-2_s390x.deb