Format: 3.0 (quilt)
Source: acl2
Binary: acl2, acl2-source, acl2-emacs, acl2-infix, acl2-infix-source, acl2-books, acl2-books-source, acl2-books-certs, acl2-doc
Architecture: any all
Version: 4.3-3.7.201403111428
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.3
Build-Depends: gcl (>= 2.6.7-100), libgmp3-dev, libreadline-dev, emacs23 | emacsen, debhelper (>= 5), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time, tex-common
Package-List: 
 acl2 deb math optional
 acl2-books deb math optional
 acl2-books-certs deb math optional
 acl2-books-source deb math optional
 acl2-doc deb doc optional
 acl2-emacs deb math optional
 acl2-infix deb math optional
 acl2-infix-source deb math optional
 acl2-source deb math optional
Checksums-Sha1: 
 3c2ef86f4ce07f11ffc3646b7e94eb6fed6422fe 15251431 acl2_4.3.orig.tar.gz
 d322f2e3421d076748108d9e1f3152192b12b1c4 18373 acl2_4.3-3.7.201403111428.debian.tar.gz
Checksums-Sha256: 
 da26affd74ea716e68262d8bd71489a365f937b6abdfca07fc77614c0c003a1d 15251431 acl2_4.3.orig.tar.gz
 d7cdc157e890f9f31500419ff28c887340c0c399f40572a07662b2d386873f59 18373 acl2_4.3-3.7.201403111428.debian.tar.gz
Files: 
 022c91284da963f344a699090057ddf4 15251431 acl2_4.3.orig.tar.gz
 8b0edc8c8d7532b544230545723d33bb 18373 acl2_4.3-3.7.201403111428.debian.tar.gz