acl2-infix (8.6+dfsg-3build1)

Details

Core information at a glance

Distribution: ubuntu
Origin: ubuntu-stonking
Repository: https://ports.ubuntu.com
Codename: stonking
Component: universe
Source: acl2
Architecture: armhf
Section: universe/math
Priority: optional
Maintainer: Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 3.5 kB
Size expected: 987.8 kB
Size actual: 987.8 kB
Size match

Dependencies

Required package dependencies

acl2 (= 8.6+dfsg-3build1)
texlive-latex-recommended
csh | c-shell

Suggested packages

Recommended additional packages

None

Description

Computational Logic for Applicative Common Lisp: infix interface

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	057d62cd…71d52d53	057d62cd…71d52d53
SHA-1	7ebb95e9…5a4f5054	7ebb95e9…5a4f5054
SHA-256	298332be…6ef8ff66	298332be…6ef8ff66
SHA-512	14dfc3f9…40b0b6d4	14dfc3f9…40b0b6d4

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