acl2-infix (8.6+dfsg-3build1)
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
- amd64
- Section
- universe/math
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 5.7 kB
- Size expected
- 999.8 kB
- Size actual
- 999.8 kB
- Size match
Dependencies
Required package dependencies
Suggested packages
Recommended additional packages
- None
Description
Computational Logic for Applicative Common Lisp: infix interface
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 5be03916…4237a141 | |
| SHA-1 | 8c928954…8a8666da | |
| SHA-256 | 5f79a7a1…e8d9f3b6 | |
| SHA-512 | e1a33a86…f829bf8d |
Contents
Files and directories included
. usr usr/lib usr/lib/acl2-8.6+dfsg usr/lib/acl2-8.6+dfsg/books usr/lib/acl2-8.6+dfsg/books/interface usr/lib/acl2-8.6+dfsg/books/interface/infix 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 usr/share/acl2-8.6+dfsg usr/share/acl2-8.6+dfsg/books usr/share/acl2-8.6+dfsg/books/interface usr/share/acl2-8.6+dfsg/books/interface/infix usr/share/doc usr/share/doc/acl2-infix usr/share/doc/acl2-infix/copyright usr/share/doc/acl2-infix/examples usr/share/doc/acl2-infix/examples/doinfix usr/share/lintian usr/share/lintian/overrides usr/share/lintian/overrides/acl2-infix usr/share/texmf usr/share/texmf/tex usr/share/texmf/tex/latex usr/share/texmf/tex/latex/CLI.sty 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