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: amd64v3
Section: universe/math
Priority: optional
Maintainer: Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 5.7 kB
Size expected: 1 MB
Size actual: 1 MB
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	e1e757e8…ff503e35	e1e757e8…ff503e35
SHA-1	c9a2594f…484313ab	c9a2594f…484313ab
SHA-256	e535b4e3…a8f0a87c	e535b4e3…a8f0a87c
SHA-512	eec19256…55925175	eec19256…55925175

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