Package: acl2-books-certs Priority: optional Section: universe/math Installed-Size: 115123 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Camm Maguire <camm@debian.org> Architecture: all Source: acl2 Version: 6.3-5 Replaces: acl2 (<= 2.7-9) Depends: acl2 (>= 6.3-5), dpkg (>= 1.14.18), tex-common (>= 3) Conflicts: acl2 (<= 2.7-9) Filename: pool/universe/a/acl2/acl2-books-certs_6.3-5_all.deb Size: 11641112 MD5sum: dc93d5bf932ee4af822df39b2a36bbb0 SHA1: df2232bc516b3d0004543b4bf7a14248e745e2aa SHA256: 7ac12640d24e7f01f3f2383b35a457f98ec5a981ad42cda9453ae7eff1d57871 Description: Computational Logic for Applicative Common Lisp: library certificates Description-md5: 6db199e882f251b453acf7d17c15ece3 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu