Package: acl2-books-certs
Architecture: all
Version: 8.5dfsg-6
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: 279071
Depends: acl2 (>= 8.5dfsg-6), tex-common (>= 6.13)
Breaks: acl2 (<= 2.7-9)
Replaces: acl2 (<= 2.7-9)
Filename: pool/universe/a/acl2/acl2-books-certs_8.5dfsg-6_all.deb
Size: 82468930
MD5sum: 76a5e1816d9d113dda8338c7062c72a8
SHA1: 12a0d1651645ca2f0a726b05a2b23002022e531f
SHA256: 0191907c07e9c99ef48705b08498a6af37c6e288873e3a98ffef75f8de740be5
SHA512: ec3cb69086626d458269bea5fc7c2867553efbd0b31e8532c45b146150479042c669531c1c8ed5c58ececac4a4856922a8d0edf1f50b988ebefe13f5542e58e7
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Description: Computational Logic for Applicative Common Lisp: library certificates
Description-md5: 6db199e882f251b453acf7d17c15ece3