Package: acl2-source
Architecture: all
Version: 8.5dfsg-5
Priority: optional
Section: universe/math
Source: acl2
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Camm Maguire <camm@debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 18837
Depends: tex-common (>= 6.13)
Breaks: acl2 (<= 2.7-9)
Replaces: acl2 (<= 2.7-9)
Filename: pool/universe/a/acl2/acl2-source_8.5dfsg-5_all.deb
Size: 3651794
MD5sum: 999c15f4a83b9ea6de229326ea8d67ea
SHA1: 78e6e4783e634e7e8f611057d7e7e85fa31c1196
SHA256: 7473ce0a7fcae74768dfb5a57965fd095453940f8a5acddff8d55f5bec51da14
SHA512: 654da304595a6485535e32c93b306ec4fd2112f35ab830e68335983cb6be7986684d528e42a3ee592294c2aa4fd000b60a16f2ef23182b274debac837f983c7d
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Description: Computational Logic for Applicative Common Lisp: source files
Description-md5: 24b72fcd3b9c9afee8776f2d281499a4