Package - acl2-infix

Package:  acl2-infix
apt-get install acl2-infix
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/a/acl2/acl2-infix_8.6+dfsg-2_amd64.deb (Size: 866.0KiB)

PropertyValue
Packageacl2-infix
Sourceacl2
Version8.6+dfsg-2
Installed-Size5740
MaintainerCamm Maguire
Architectureamd64
Replacesacl2 (<= 2.7-9)
Dependsacl2 (= 8.6+dfsg-2), texlive-latex-recommended, c-shell
Recommendsacl2-infix-source (= 8.6+dfsg-2)
Breaksacl2 (<= 2.7-9)
DescriptionComputational Logic for Applicative Common Lisp: infix interface
Description-md581a2aa4af877764973901ab7dc79e3c8
Homepagehttps://www.cs.utexas.edu/users/moore/acl2/
Tagdevel::interpreter, devel::lang:lisp, devel::library, field::mathematics, implemented-in::lisp, role::app-data, role::program, works-with::software:source
Sectionmath
Priorityoptional
Filenamepool/main/a/acl2/acl2-infix_8.6+dfsg-2_amd64.deb
Size886800
MD5sum30f3f7267f37c3418b43e465523ebfd8
SHA2561c6db0c95f58b35d5af311efcb2e02137768241a647d2129d6ada59adae444ee

Files in package

  • /usr/lib/acl2-8.6+dfsg/books/interface/infix/infix.o
  • /usr/lib/acl2-8.6+dfsg/books/interface/infix/latex-init.o
  • /usr/lib/acl2-8.6+dfsg/books/interface/infix/scribe-init.o
  • /usr/share/acl2-8.6+dfsg/books/interface/infix/infix.o
  • /usr/share/acl2-8.6+dfsg/books/interface/infix/latex-init.o
  • /usr/share/acl2-8.6+dfsg/books/interface/infix/scribe-init.o
  • /usr/share/doc/acl2-infix/changelog.Debian.gz
  • /usr/share/doc/acl2-infix/copyright
  • /usr/share/doc/acl2-infix/examples/doinfix
  • /usr/share/texmf/tex/latex/CLI.sty