Package: acl2-infix
Source: acl2
Version: 8.7+dfsg-3
Architecture: amd64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Camm Maguire <camm@debian.org>
Installed-Size: 5763
Depends: acl2 (= 8.7+dfsg-3), texlive-latex-recommended, tex-common (>= 6.13), csh | c-shell
Recommends: acl2-infix-source (= 8.7+dfsg-3)
Breaks: acl2 (<= 2.7-9)
Replaces: acl2 (<= 2.7-9)
Section: math
Priority: optional
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Description: Computational Logic for Applicative Common Lisp: infix interface
 ACL2 is both a programming language in which you can model computer
 systems and a tool to help you prove properties of those models.
 .
 This package contains utilities and libraries to access ACL2 via an
 infix notation similar to that used in many non-lisp programming
 languages.
