Package: acl2-infix
Source: acl2
Version: 8.5dfsg-5
Installed-Size: 2024
Maintainer: Camm Maguire <camm@debian.org>
Architecture: mipsel
Replaces: acl2 (<= 2.7-9)
Depends: acl2 (= 8.5dfsg-5), texlive-latex-recommended
Recommends: acl2-infix-source (= 8.5dfsg-5)
Breaks: acl2 (<= 2.7-9)
Description: Computational Logic for Applicative Common Lisp: infix interface
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Description-md5: 81a2aa4af877764973901ab7dc79e3c8
Tag: devel::interpreter, devel::lang:lisp, devel::library,
 field::mathematics, implemented-in::lisp, role::app-data,
 role::program, works-with::software:source
Section: math
Priority: optional
Filename: pool/main/a/acl2/acl2-infix_8.5dfsg-5_mipsel.deb
Size: 514928
MD5sum: 6433d49da514918fe535802f36650a76
SHA256: 7987829ba50150f615ef17bbb9cb3e143a216b962f314b2bc5840a2f4e43588a