Format: 1.8 Date: Wed, 27 Jan 2021 14:05:42 +0000 Source: acl2 Binary: acl2 acl2-books acl2-infix Architecture: armhf Version: 8.3dfsg-2 Distribution: hirsute-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Camm Maguire 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.3dfsg-2) unstable; urgency=medium . * certify-books -> regression-fresh * debhelper-compat ( = 13 ) * standards 4.5.0 * ISO-8859-16 -> UTF-8 * watch version 4 * lintian override: rfc2388.txt is not a license file * clean books/centaur/vl/kit/test.vlzip books/centaur/getopt/demo2 books/centaur/getopt/demo2-test.ok * remove w3 validation in home-page.html Checksums-Sha1: 59b295ac071d169705dc042ada1574683f0277e6 231164548 acl2-books_8.3dfsg-2_armhf.deb 67c90f945a1e799e47e163c8cc87771eec4c3b08 444836 acl2-infix_8.3dfsg-2_armhf.deb d6ed9646e9060b44d1c17c77781aa7c0402e53a4 9551 acl2_8.3dfsg-2_armhf.buildinfo a843d08b4589ef7f77064eef129de4880bb02b29 18434708 acl2_8.3dfsg-2_armhf.deb Checksums-Sha256: 6de7daad614fcdd1e3b5093fb6c976eebb9b12c750f117b7ec136565f7726ac6 231164548 acl2-books_8.3dfsg-2_armhf.deb 3d279d74e93ccc46fa6c2aba7234f2d8aff74cb59af1f6284ab8b1423cc27471 444836 acl2-infix_8.3dfsg-2_armhf.deb c6b41fefdafe8f5d08c5af8b591ed7aa093340907444d76f8307e5725191fded 9551 acl2_8.3dfsg-2_armhf.buildinfo 0c216fbe56aa3f8a2903446098594c9771ace90cf4a2e16c812f389e578e18af 18434708 acl2_8.3dfsg-2_armhf.deb Files: 18e128db5f1df6e26c45c95d0b200bec 231164548 math optional acl2-books_8.3dfsg-2_armhf.deb 6b4d761bca60d4679412c759dd9a7241 444836 math optional acl2-infix_8.3dfsg-2_armhf.deb 564dfbeca87ac40e363f5a15163ca13c 9551 math optional acl2_8.3dfsg-2_armhf.buildinfo 4d62cf651ec3f92ef51c4084a2b9667d 18434708 math optional acl2_8.3dfsg-2_armhf.deb