Format: 1.8
Date: Sat, 15 Oct 2016 11:39: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: all amd64
Version: 7.2dfsg-3
Distribution: zesty-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lgw01-13.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-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.2dfsg-3) unstable; urgency=medium
 .
   * build-dep against latest gcl
   * upstream pathname patch
Checksums-Sha1:
 171d87261e826d0fe1660396f44137db8e386e06 54468588 acl2-books-certs_7.2dfsg-3_all.deb
 48381b0ee2e17d06c4bcb778ec0bf3edf94663e8 10857400 acl2-books-source_7.2dfsg-3_all.deb
 454d2fe7f52a5ac34fd925100b1387915038e373 108104926 acl2-books_7.2dfsg-3_amd64.deb
 c84b435006d590cd7fd00d08207365049a4c56af 374618 acl2-doc_7.2dfsg-3_all.deb
 06915b4b276605745b455109760b71ac5ed344ab 57474 acl2-emacs_7.2dfsg-3_all.deb
 d75138b300e762970a5502715166333b771c852a 72238 acl2-infix-source_7.2dfsg-3_all.deb
 25c5ca240a2c206a98f2bd3ce07ab87f640c1565 409468 acl2-infix_7.2dfsg-3_amd64.deb
 6d7cbfde20f88e482a897d924f7a88643a026d2d 2879372 acl2-source_7.2dfsg-3_all.deb
 8da7798ece2d0dff9a1ecc8533aa3e384a81eeba 17597134 acl2_7.2dfsg-3_amd64.deb
Checksums-Sha256:
 225b40074beb42e9a09485659a2be99f049277104fb95ab95c86bada8582925e 54468588 acl2-books-certs_7.2dfsg-3_all.deb
 dc0de02f572be6974de5a9672752126d267b2838c66c4999b5d5d88f3c523d2c 10857400 acl2-books-source_7.2dfsg-3_all.deb
 35e3873e3f7ae8b85504ada4031bf60f5ed891a9c628bca66133ebe92070eb97 108104926 acl2-books_7.2dfsg-3_amd64.deb
 719a90d1167668613bbca2abe66ed80ca941b037ec63d20ec8267b9df9368462 374618 acl2-doc_7.2dfsg-3_all.deb
 e7a02b2f09350f70946feabe1f20813af3122562642e9d18e3f6230a9e7032a6 57474 acl2-emacs_7.2dfsg-3_all.deb
 3a0b5b3b8f2afac1718c29ced9240c439e9bba623e461478e437057127aaacf9 72238 acl2-infix-source_7.2dfsg-3_all.deb
 2c1e82dd292d1301288392d1fe533168a7284d00a5267c59bdd5dc645c453984 409468 acl2-infix_7.2dfsg-3_amd64.deb
 0ac8298a25e7cd19650a3431ac239a86c780b8f3473553cbcf5c11c96a7ccf65 2879372 acl2-source_7.2dfsg-3_all.deb
 374b4531c58e00a7f6f4389a3e692c7133dce7395125597eb1eb9f5dd84b4fa1 17597134 acl2_7.2dfsg-3_amd64.deb
Files:
 dd6bac23611f21af4327ec32ab743a88 54468588 math optional acl2-books-certs_7.2dfsg-3_all.deb
 a8d958ae876b20badc4a028492177fa8 10857400 math optional acl2-books-source_7.2dfsg-3_all.deb
 8623c13d7c542184f50850e2145daaef 108104926 math optional acl2-books_7.2dfsg-3_amd64.deb
 683d815a002221c6a36d85aa69a76e01 374618 doc optional acl2-doc_7.2dfsg-3_all.deb
 b7503f9ae492e90af3d17037f5745a18 57474 math optional acl2-emacs_7.2dfsg-3_all.deb
 e3119a42814a6f2c6cd3951424c793a3 72238 math optional acl2-infix-source_7.2dfsg-3_all.deb
 43ff6796a2e3190ab058409d381e7477 409468 math optional acl2-infix_7.2dfsg-3_amd64.deb
 72c9c312fbfea310ca5718cf044c42f0 2879372 math optional acl2-source_7.2dfsg-3_all.deb
 56ae788b39c04bd2bbba898e03c7f68c 17597134 math optional acl2_7.2dfsg-3_amd64.deb