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: s390x 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: c33594fe0d41988adb00daeec911c0866b770d07 106672720 acl2-books_7.2dfsg-2_s390x.deb 6ea75fdd8e0d9ee6ba92926e3a700e0d06eb5f00 390444 acl2-infix_7.2dfsg-2_s390x.deb a86e183d090cb298896e8c4aa9e9b51e61c27d85 17323334 acl2_7.2dfsg-2_s390x.deb Checksums-Sha256: 3509afaa212322e9a3f8d054e30cf5c89500b4465de28d58f738261e7740a416 106672720 acl2-books_7.2dfsg-2_s390x.deb 835a7f5f6839199f029170d504236c7fd6417f34d5e1fdf79ae97b45016b33a1 390444 acl2-infix_7.2dfsg-2_s390x.deb a5099c72708b86f5905369ea541cbd3d812d49f9de72e1646001753b62ccf910 17323334 acl2_7.2dfsg-2_s390x.deb Files: e8581602132bb5378d27cdbf62d4ba01 106672720 math optional acl2-books_7.2dfsg-2_s390x.deb 44e57c3bda354a664fb05a2a426b8d71 390444 math optional acl2-infix_7.2dfsg-2_s390x.deb ef9c93210f5e9096c37bdf7710adb76e 17323334 math optional acl2_7.2dfsg-2_s390x.deb