Format: 1.8 Date: Mon, 08 May 2017 16:58:52 +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.4dfsg-1 Distribution: artful-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 Changes: acl2 (7.4dfsg-1) unstable; urgency=medium . * New upstream release Checksums-Sha1: d3062aa4c98752dcba844d2d905bd63b060b2d27 119161942 acl2-books_7.4dfsg-1_s390x.deb e1c4635cdf50c70614c50634b12d0dfa17c22d94 391526 acl2-infix_7.4dfsg-1_s390x.deb 6d8337419aedeb1ada286a8ff488b922263af55b 12653 acl2_7.4dfsg-1_s390x.buildinfo 8c96df2e743965b14d46379d8fb9864e338f848f 18950614 acl2_7.4dfsg-1_s390x.deb Checksums-Sha256: 7b77fecb0d6f49780770367dcf98c23188476efebd00b9b310c644c0c83e5a67 119161942 acl2-books_7.4dfsg-1_s390x.deb e9c2bdb498d951399f9a2082f0d5bdd89f5f9c5b85e52a854845d2d2b6dd42f4 391526 acl2-infix_7.4dfsg-1_s390x.deb 98344434b0d26bd601184bbb516dc6f1d509d19cd795d245e5bb6475c021147e 12653 acl2_7.4dfsg-1_s390x.buildinfo 48a1b58c82af678defd4e0f12e78e005de6b4e6696c0cabbba65d051114d4b76 18950614 acl2_7.4dfsg-1_s390x.deb Files: aef69a01f84dad04110a5314b9fa3cbf 119161942 math optional acl2-books_7.4dfsg-1_s390x.deb 39b5a7ad7866ae971a057f903c02e312 391526 math optional acl2-infix_7.4dfsg-1_s390x.deb 15a283c718c0597b6ead6c2afbd92936 12653 math optional acl2_7.4dfsg-1_s390x.buildinfo 00cb82771a899968486259229783642f 18950614 math optional acl2_7.4dfsg-1_s390x.deb