acl2-infix-source (8.7+dfsg-2)
5 versions available in ubuntu/stonking/universe/i386
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://nl.archive.ubuntu.com/ubuntu
- Codename
- stonking
- Component
- universe
- Source
- acl2
- Architecture
- i386
- Section
- universe/math
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 335 B
- Size expected
- 73.6 kB
- Size actual
- 73.6 kB
- Size match
Suggested packages
Recommended additional packages
- None
Description
Computational Logic for Applicative Common Lisp: infix source
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 03aee496…dada85b9 | |
| SHA-1 | a57eed18…85309111 | |
| SHA-256 | 4de593a4…5dd5cc1c | |
| SHA-512 | 04b20dba…4f079aa2 |
Contents
Files and directories included
. usr usr/lib usr/lib/acl2-8.7+dfsg usr/lib/acl2-8.7+dfsg/books usr/lib/acl2-8.7+dfsg/books/interface usr/lib/acl2-8.7+dfsg/books/interface/infix usr/lib/acl2-8.7+dfsg/books/interface/infix/acl2-formatting.lisp usr/lib/acl2-8.7+dfsg/books/interface/infix/infix.lisp usr/lib/acl2-8.7+dfsg/books/interface/infix/latex-init.lisp usr/lib/acl2-8.7+dfsg/books/interface/infix/latex-theory.lisp usr/lib/acl2-8.7+dfsg/books/interface/infix/scribe-init.lisp usr/lib/acl2-8.7+dfsg/books/interface/infix/scribe-theory.lisp usr/lib/acl2-8.7+dfsg/books/interface/infix/sloop.lisp usr/share usr/share/doc usr/share/doc/acl2-infix-source usr/share/doc/acl2-infix-source/changelog.Debian.gz usr/share/doc/acl2-infix-source/copyright