Package: acl2-infix-source
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: 336
Depends: tex-common (>= 6.13)
Breaks: acl2 (<= 2.7-9)
Replaces: acl2 (<= 2.7-9)
Filename: pool/universe/a/acl2/acl2-infix-source_8.5dfsg-6_all.deb
Size: 74020
MD5sum: 4c68af3547f3313e0b6f378a215e86ea
SHA1: a3d8dfaa01ee1b1a52b7da0d72a5c0431a8c0ed7
SHA256: 27c0ed4d04628d0e801887136895ec313654aa7389787f41e2bacac080e62bff
SHA512: 55e62a104b7c4af7cadf13b921f4ad6164dcd32ef8bb8d60f35c782ac6bd777057a04f49d08a90fb4018f36c1e7ec64e3c390d5e26689958990f04c69a848bbd
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Description: Computational Logic for Applicative Common Lisp: infix source
Description-md5: 6e56cc8795675ff4708abb07184b4eef