Format: 1.8 Date: Tue, 03 May 2016 15:05:07 +0000 Source: acl2 Binary: acl2 acl2-source acl2-emacs acl2-infix acl2-infix-source acl2-books acl2-books-source acl2-books-certs acl2-doc Architecture: arm64 Version: 7.2dfsg-2 Distribution: yakkety-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-books-certs - Computational Logic for Applicative Common Lisp: library certific acl2-books-source - Computational Logic for Applicative Common Lisp: library sources acl2-doc - Computational Logic for Applicative Common Lisp: documentation acl2-emacs - Computational Logic for Applicative Common Lisp: emacs interface acl2-infix - Computational Logic for Applicative Common Lisp: infix interface acl2-infix-source - Computational Logic for Applicative Common Lisp: infix source acl2-source - Computational Logic for Applicative Common Lisp: source files Closes: 815312 819447 Changes: acl2 (7.2dfsg-2) unstable; urgency=medium . * Bug fix: "FTBFS in kfreebsd-amd64", thanks to Andreas Beckmann (Closes: #815312). Reduce GCL_MEM_MULTIPLE setting. * Bug fix: "FTBFS in stretch (looks like the same problem in maxima)", thanks to Santiago Vila (Closes: #819447). Checksums-Sha1: 4ec9ac377cffa6ad8ecb466562336d66533d03a5 108768828 acl2-books_7.2dfsg-2_arm64.deb 8784ffc78441a7c0056f84f1f025dce090756df2 415490 acl2-infix_7.2dfsg-2_arm64.deb 0f1c4e06644178706d9ad20bd0f8caa0e118fd6f 16142826 acl2_7.2dfsg-2_arm64.deb Checksums-Sha256: a48677de4f24d1bda26138b8495cda001811772aa88475e229e2f9765fdefad5 108768828 acl2-books_7.2dfsg-2_arm64.deb dd1f5cc07d5e05467aa5ed095255128243af7fdd177ce558e01b7e7007de9592 415490 acl2-infix_7.2dfsg-2_arm64.deb d65f39da28c0212cc0a7c57809d3d2bd6f43bb717fa77dbd80ca5a39a6348a04 16142826 acl2_7.2dfsg-2_arm64.deb Files: 843c79005fa3575afb30a7c65d530af6 108768828 math optional acl2-books_7.2dfsg-2_arm64.deb 7e48ba6c2a23b3e907b975112eefa2f4 415490 math optional acl2-infix_7.2dfsg-2_arm64.deb 63c9b6f5a665eece41f4bd4f98710da6 16142826 math optional acl2_7.2dfsg-2_arm64.deb