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: arm64
Version: 8.5dfsg-1
Distribution: kinetic
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-024.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:
 e722c139babf11fa283ff5950da8e3703b52d3d2 354434230 acl2-books_8.5dfsg-1_arm64.deb
 37706ac19e7c0fb8e45ef40a54c1b010d0f8ee63 560360 acl2-infix_8.5dfsg-1_arm64.deb
 934b72cad57cd02abc40cee56fa39321a33c2f98 11183 acl2_8.5dfsg-1_arm64.buildinfo
 a8bcde0e9bb46271cf449f792ed5b232c6705f29 25654116 acl2_8.5dfsg-1_arm64.deb
Checksums-Sha256:
 273be86f663d3e5f1f80d92c77aaa85188c314afb6237e871173e3610082bca1 354434230 acl2-books_8.5dfsg-1_arm64.deb
 3ce0994e4445a306ef240cb49bf26361dda0423a92b97749ce3c23ea19677033 560360 acl2-infix_8.5dfsg-1_arm64.deb
 0342630671d1fb8ca4b0e51a9d865258b2e666db0d936ef64d13c8db2c8c260b 11183 acl2_8.5dfsg-1_arm64.buildinfo
 27de2f2a1325c85bc87576bb1bcdfbe448e2617d25e42aad8be8e514f8c09d3a 25654116 acl2_8.5dfsg-1_arm64.deb
Files:
 77931e4e9efc7d31907ced4629585106 354434230 math optional acl2-books_8.5dfsg-1_arm64.deb
 ead0d3e3a273652bdbb6f0aa4150c806 560360 math optional acl2-infix_8.5dfsg-1_arm64.deb
 42ed54a285eba2fd410f9a19c2a63bb9 11183 math optional acl2_8.5dfsg-1_arm64.buildinfo
 289e3b1ccc44ff0fa1b5c485c854c507 25654116 math optional acl2_8.5dfsg-1_arm64.deb