Package: acl2
Binary: acl2, acl2-source, elpa-acl2, acl2-infix, acl2-infix-source, acl2-books, acl2-books-source, acl2-books-certs, acl2-doc
Version: 8.5dfsg-5
Maintainer: Camm Maguire <camm@debian.org>
Build-Depends: debhelper-compat (= 13), gcl (>= 2.6.14-1), debhelper (>= 13), texlive-latex-recommended, time, texinfo
Build-Depends-Indep: dh-elpa
Architecture: any all
Standards-Version: 4.5.1
Format: 3.0 (quilt)
Files: abce8bbf413921a3ef71aa1fb5103fe2 2268 acl2_8.5dfsg-5.dsc
 ac4cf2aefbdbc7436cf745fa05b8d373 223546594 acl2_8.5dfsg.orig.tar.gz
 217b5de7bf23c4901da5c804eb348d30 312896 acl2_8.5dfsg-5.debian.tar.xz
Checksums-Sha256: 3dfa419ecdde8564078f408338a8ef338f4209c476c3918c236e9bed7cc068d5 2268 acl2_8.5dfsg-5.dsc
 6e9c7a3c75111429e8009369a28593aa91d84f668e7918980f33bd9996c1d819 223546594 acl2_8.5dfsg.orig.tar.gz
 68b7e667901b0b77e27f9884f8b96b5571858a1e0a3a38ca3289440f39f93008 312896 acl2_8.5dfsg-5.debian.tar.xz
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Package-List: acl2 deb math optional arch=any
 acl2-books deb math optional arch=any
 acl2-books-certs deb math optional arch=all
 acl2-books-source deb math optional arch=all
 acl2-doc deb doc optional arch=all
 acl2-infix deb math optional arch=any
 acl2-infix-source deb math optional arch=all
 acl2-source deb math optional arch=all
 elpa-acl2 deb lisp optional arch=all
Directory: pool/main/a/acl2
Priority: source
Section: math

Package: acl2
Version: 8.5dfsg-5
Installed-Size: 172866
Maintainer: Camm Maguire <camm@debian.org>
Architecture: mipsel
Depends: libc6 (>= 2.34), libedit2 (>= 2.11-20080614-0), libgmp10 (>= 2:6.2.1+dfsg1), libtirpc3 (>= 1.0.2), libx11-6
Recommends: acl2-source, acl2-books
Suggests: elpa-acl2
Description: Computational Logic for Applicative Common Lisp: main binary
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Description-md5: 11f9e97229e3c77927e661525096d127
Tag: devel::interpreter, devel::lang:lisp, field::mathematics,
 implemented-in::lisp, interface::commandline, interface::text-mode,
 role::program, scope::utility, uitoolkit::ncurses,
 works-with::software:source
Section: math
Priority: optional
Filename: pool/main/a/acl2/acl2_8.5dfsg-5_mipsel.deb
Size: 19821928
MD5sum: 1763481ebe157f4a62aca7a312bd773d
SHA256: cde29acb29035b8d161b14ee38c48078a9aa4ea588b715936a30d0a3ea168e68