Format: 1.8
Date: Wed, 03 Apr 2019 13:47:29 +0000
Source: acl2
Binary: acl2 acl2-books acl2-infix
Architecture: i386
Version: 8.1dfsg-3
Distribution: eoan-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-039.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: 926121
Changes:
 acl2 (8.1dfsg-3) unstable; urgency=medium
 .
   * Bug fix: "excessive build time on 32-bit architectures", thanks to
     Aurelien Jarno (Closes: #926121).
Checksums-Sha1:
 99b0460eadab1d913293bd63e1ac57ed4dd0e9bc 145651408 acl2-books_8.1dfsg-3_i386.deb
 6ef15b5649b1c84ef34784b02238fb1c0d4880fe 486192 acl2-infix_8.1dfsg-3_i386.deb
 e6f0d61e2bbeb4fa1e78c32d76371af14716720e 11905 acl2_8.1dfsg-3_i386.buildinfo
 76bec0179c0f73e08cb1beb44027c195dc63225e 18750908 acl2_8.1dfsg-3_i386.deb
Checksums-Sha256:
 ff03ef96da907a1a6f5d689da21764f12fd36d42ed25d3d0e6a7ee5f887544e1 145651408 acl2-books_8.1dfsg-3_i386.deb
 26ba139264b4e52cf947de7d90e22445b1e047996462b63a446544b9ddd759b2 486192 acl2-infix_8.1dfsg-3_i386.deb
 6b443ffa3d6dd4213fb5e9c37a123f9e63a373e73aef1508674fd71bccdff538 11905 acl2_8.1dfsg-3_i386.buildinfo
 1639421be6ede661e6ea666f5562e663fb220e63d18976d135564cfce507a15b 18750908 acl2_8.1dfsg-3_i386.deb
Files:
 cead3edcd6faaeaafefd16cea5a5f44b 145651408 math optional acl2-books_8.1dfsg-3_i386.deb
 d2dac9ccd48eb87ebe26f9f951e613b8 486192 math optional acl2-infix_8.1dfsg-3_i386.deb
 1a67d8907fe1e9eaf807ee8ff67d465f 11905 math optional acl2_8.1dfsg-3_i386.buildinfo
 0f8fdff37b74e11306790a303273f401 18750908 math optional acl2_8.1dfsg-3_i386.deb