Format: 1.8
Date: Wed, 27 Jul 2022 09:42:51 -0400
Source: acl2
Binary: acl2 acl2-books acl2-infix
Built-For-Profiles: noudeb
Architecture: s390x
Version: 8.5dfsg-1
Distribution: kinetic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-s390x-012.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
Closes: 1013453
Changes:
 acl2 (8.5dfsg-1) unstable; urgency=medium
 .
   * New upstream release
   * Bug fix: "Please remove dependency on install-info", thanks to Hilmar
     Preusse (Closes: #1013453).
Checksums-Sha1:
 69b9377eb5d4bb33d680d80734ade69ed1573939 335477464 acl2-books_8.5dfsg-1_s390x.deb
 38cbc8c663ef2faeab7fce456c2ab021cc53b0e7 514796 acl2-infix_8.5dfsg-1_s390x.deb
 cf8438f4ec0a4612a163b986790d35864a570e1f 10932 acl2_8.5dfsg-1_s390x.buildinfo
 a259e7969e5b9d6ec7ecbc0e939145e22489ee9a 26707282 acl2_8.5dfsg-1_s390x.deb
Checksums-Sha256:
 c3adb4765c4a501a14d8ae663213cad1828007e2856c72659e1bec59067de255 335477464 acl2-books_8.5dfsg-1_s390x.deb
 2936770636be6cdfb375bd36a946cfa2630d462782adea99f479a35710c63e45 514796 acl2-infix_8.5dfsg-1_s390x.deb
 a6dadd33a206143f931cd7bb0e89664c1cb651157341b941094dd5c2f82ac267 10932 acl2_8.5dfsg-1_s390x.buildinfo
 3f8c26ee5a2bdf252f9152f59e39f4ef78b226b681f37cb15b36cfbf2ac8c407 26707282 acl2_8.5dfsg-1_s390x.deb
Files:
 dc002baf663867b7b6b9f82c18502c96 335477464 math optional acl2-books_8.5dfsg-1_s390x.deb
 a41ba3d2ef00172d290bd06318f73bf7 514796 math optional acl2-infix_8.5dfsg-1_s390x.deb
 1fe103c2b0095f952f41e709accb70ba 10932 math optional acl2_8.5dfsg-1_s390x.buildinfo
 53878b40ec6b3a04824aecbe41f6e026 26707282 math optional acl2_8.5dfsg-1_s390x.deb