acl2-infix-source (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: i386
Section: universe/math
Priority: optional
Maintainer: Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 336 B
Size expected: 74.6 kB
Size actual: 74.6 kB
Size match

Dependencies

Required package dependencies

tex-common (>= 6.13)

Suggested packages

Recommended additional packages

None

Description

Computational Logic for Applicative Common Lisp: infix source

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	e11cc184…240e1e6f	e11cc184…240e1e6f
SHA-1	7072460e…c6aed49d	7072460e…c6aed49d
SHA-256	6e1024e3…f49f64a3	6e1024e3…f49f64a3
SHA-512	dd262748…c22da625	dd262748…c22da625

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/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
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