From foo@bar  Fri Jun 19 21:30:01 2026
Format: 1.8
Date: Wed, 17 Jun 2026 10:04:00 -0400
Source: acl2
Binary: acl2 acl2-books acl2-infix
Architecture: powerpc
Version: 8.7+dfsg-2
Distribution: sid
Urgency: medium
Maintainer: ppc64 / powerpc Build Daemon (blaauw) <blaauw2@blaauw.buildd.org>
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.7+dfsg-2) unstable; urgency=medium
 .
   * remove iconv_files in favor of dynamic search
Checksums-Sha1:
 a8bedf334931d687cfe85e28637c28b92ba66c0e 458388592 acl2-books_8.7+dfsg-2_powerpc.deb
 b94d3bb52e0d9b8a9fde001e2d5758e96aa6adeb 897732 acl2-infix_8.7+dfsg-2_powerpc.deb
 10af578183f11675a6338bf6b496bc64f137e38a 8250 acl2_8.7+dfsg-2_powerpc.buildinfo
 9872b17fe3a37b326e5bdd78cb9acc61e6f39da2 37413132 acl2_8.7+dfsg-2_powerpc.deb
Checksums-Sha256:
 9602973e3d2e3c31ba00cfefe4dba9867146b9e5d4fe2290cfc3d801f5367c0e 458388592 acl2-books_8.7+dfsg-2_powerpc.deb
 e3864d41ee5fb380ed81e269cf2fa48587898b6f2e22bdf5f7cb04041ff3c5a6 897732 acl2-infix_8.7+dfsg-2_powerpc.deb
 67dc72e2336df74ed690dd41d2a50c98b4d071250d5650da71f783fd55b5c869 8250 acl2_8.7+dfsg-2_powerpc.buildinfo
 227b9b68db87cc6577257cd7316956bbbc48d5832875488f2f250349eaf091e9 37413132 acl2_8.7+dfsg-2_powerpc.deb
Files:
 cae7de511d251f3b7f53b72a6bdd0e89 458388592 math optional acl2-books_8.7+dfsg-2_powerpc.deb
 3c05dbfa5198c48cc6d60ee890d36f2d 897732 math optional acl2-infix_8.7+dfsg-2_powerpc.deb
 5e73fbd8ef021e64992ab99f4d84f66d 8250 math optional acl2_8.7+dfsg-2_powerpc.buildinfo
 69ccaee96daae7e3548c538bb7ec6c1f 37413132 math optional acl2_8.7+dfsg-2_powerpc.deb
Signed-By: Debian buildd autosigning key for blaauw <buildd_ppc64-blaauw@buildd.debian.org>