Package - acl2-infix-source
Primary informations
Download package: http://deb.debian.org/debian/pool/main/a/acl2/acl2-infix-source_8.6+dfsg-2_all.deb (Size: 70.9KiB)| Property | Value |
|---|---|
| Package | acl2-infix-source |
| Source | acl2 |
| Version | 8.6+dfsg-2 |
| Installed-Size | 336 |
| Maintainer | Camm Maguire |
| Architecture | all |
| Replaces | acl2 (<= 2.7-9) |
| Depends | tex-common (>= 6.13) |
| Breaks | acl2 (<= 2.7-9) |
| Description | Computational Logic for Applicative Common Lisp: infix source |
| Description-md5 | 6e56cc8795675ff4708abb07184b4eef |
| Homepage | https://www.cs.utexas.edu/users/moore/acl2/ |
| Tag | devel::interpreter, devel::lang:lisp, devel::library, field::mathematics, implemented-in::lisp, role::source |
| Section | math |
| Priority | optional |
| Filename | pool/main/a/acl2/acl2-infix-source_8.6+dfsg-2_all.deb |
| Size | 72652 |
| MD5sum | 3b234e5639e8f0564518bfb827a210af |
| SHA256 | 41b2f2b14eb4d7d2438e465c1afb319818e388cd2aa5dff66d0d659459c76159 |
Files in package
- /usr/lib/acl2-8.6+dfsg/books/interface/infix/acl2-formatting.lisp
- /usr/lib/acl2-8.6+dfsg/books/interface/infix/infix.lisp
- /usr/lib/acl2-8.6+dfsg/books/interface/infix/latex-init.lisp
- /usr/lib/acl2-8.6+dfsg/books/interface/infix/latex-theory.lisp
- /usr/lib/acl2-8.6+dfsg/books/interface/infix/scribe-init.lisp
- /usr/lib/acl2-8.6+dfsg/books/interface/infix/scribe-theory.lisp
- /usr/lib/acl2-8.6+dfsg/books/interface/infix/sloop.lisp
- /usr/share/doc/acl2-infix-source/changelog.Debian.gz
- /usr/share/doc/acl2-infix-source/copyright