Package: acl2-books-certs
Architecture: all
Version: 8.5dfsg-5build3
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: 663976
Depends: acl2 (>= 8.5dfsg-5build3), tex-common (>= 6.13)
Breaks: acl2 (<= 2.7-9)
Replaces: acl2 (<= 2.7-9)
Filename: pool/universe/a/acl2/acl2-books-certs_8.5dfsg-5build3_all.deb
Size: 226234436
MD5sum: 8493e84165cd82274030cbaab3bd0d84
SHA1: 97e1dfba0899afeedb32f489cb658dbc26e2c865
SHA256: b9eace3d4f27d43a7b74c2907625d7ce5445d34521c192d88513ba168caa062c
SHA512: 6e92b4dbbe78958576278d62da8f6733c8f1c3bcf13037167c9e60004a82693eee19e63a63e45407d1a92f75edfdc963767e8b71665f06d8747d0e57257cd670
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Description: Computational Logic for Applicative Common Lisp: library certificates
Description-md5: 6db199e882f251b453acf7d17c15ece3