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: ppc64el
Version: 8.4dfsg-2
Distribution: jammy-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-ppc64el-020.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:
 d982093504f01d220199e86d995fe60195c5429c 369454152 acl2-books_8.4dfsg-2_ppc64el.deb
 c8083cdd3e04e0cc9765742af5473ee9680becbc 618604 acl2-infix_8.4dfsg-2_ppc64el.deb
 156960ecf5583b2269c345dd75d270a8f575358e 8788 acl2_8.4dfsg-2_ppc64el.buildinfo
 5ff492f041b322e17cc0b419c055fe838d233e2c 26386578 acl2_8.4dfsg-2_ppc64el.deb
Checksums-Sha256:
 1e70cb8d547b9269e3078663fdfbb40c1a02d32c7a34218e2ff4ac31ae4e614a 369454152 acl2-books_8.4dfsg-2_ppc64el.deb
 afac79f01bad14fb9290b625c54ffb87ccdc12ba975549e7ac48cf9f75834191 618604 acl2-infix_8.4dfsg-2_ppc64el.deb
 f73b3e7368afabe7d5d435e316e9e8f460dd3c1275a3cc3bbe0777d1f6e2d026 8788 acl2_8.4dfsg-2_ppc64el.buildinfo
 74388a35a5d5862a6e9ef9bfc2cf588b88e3c0cd7bcbdfa4c2328106b1c74542 26386578 acl2_8.4dfsg-2_ppc64el.deb
Files:
 001573be467b02058199b5c1db1e1f5d 369454152 math optional acl2-books_8.4dfsg-2_ppc64el.deb
 58506ba3968020d76e18289def47bbb4 618604 math optional acl2-infix_8.4dfsg-2_ppc64el.deb
 40d32088a14056742f5d27ecef18a123 8788 math optional acl2_8.4dfsg-2_ppc64el.buildinfo
 af160fcca46b387190c1ad919987c98b 26386578 math optional acl2_8.4dfsg-2_ppc64el.deb