Package: acl2-infix Architecture: amd64 Version: 8.0dfsg-1 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: 2754 Depends: acl2 (= 8.0dfsg-1), texlive-latex-recommended, tex-common (>= 6) Recommends: acl2-infix-source (= 8.0dfsg-1) Conflicts: acl2 (<= 2.7-9) Replaces: acl2 (<= 2.7-9) Filename: pool/universe/a/acl2/acl2-infix_8.0dfsg-1_amd64.deb Size: 424152 MD5sum: e7d4cdd9ac2b39418277700a90043ea5 SHA1: 946930746d25d0b15d5e7e6d0c9de655ea40595e SHA256: eabf114262c45011db8d6a477705ada6cc88b8401e6958a73c4e78001b74970a Description: Computational Logic for Applicative Common Lisp: infix interface Description-md5: 81a2aa4af877764973901ab7dc79e3c8