acl2-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
- amd64v3
- Section
- universe/math
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 21.1 kB
- Size expected
- 4.1 MB
- Size actual
- 4.1 MB
- Size match
Suggested packages
Recommended additional packages
- None
Description
Computational Logic for Applicative Common Lisp: source files
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 2a198a0e…28aa5778 | |
| SHA-1 | 2007abf2…fa8f057e | |
| SHA-256 | c5e45ace…6f8e3e44 | |
| SHA-512 | 7c6273e1…d5037fbd |
Contents
Files and directories included
. usr usr/share usr/share/acl2-8.6+dfsg usr/share/acl2-8.6+dfsg/TAGS usr/share/acl2-8.6+dfsg/acl2-check.lisp usr/share/acl2-8.6+dfsg/acl2-fns.lisp usr/share/acl2-8.6+dfsg/acl2-init.lisp usr/share/acl2-8.6+dfsg/acl2-proclaims.lisp usr/share/acl2-8.6+dfsg/acl2.lisp usr/share/acl2-8.6+dfsg/acl2r.lisp usr/share/acl2-8.6+dfsg/akcl-acl2-trace.lisp usr/share/acl2-8.6+dfsg/allegro-acl2-trace.lisp usr/share/acl2-8.6+dfsg/apply-constraints.lisp usr/share/acl2-8.6+dfsg/apply-prim.lisp usr/share/acl2-8.6+dfsg/apply-raw.lisp usr/share/acl2-8.6+dfsg/apply.lisp usr/share/acl2-8.6+dfsg/axioms.lisp usr/share/acl2-8.6+dfsg/basis-a.lisp usr/share/acl2-8.6+dfsg/basis-b.lisp usr/share/acl2-8.6+dfsg/bdd.lisp usr/share/acl2-8.6+dfsg/boot-strap-pass-2-a.lisp usr/share/acl2-8.6+dfsg/boot-strap-pass-2-b.lisp usr/share/acl2-8.6+dfsg/defpkgs.lisp usr/share/acl2-8.6+dfsg/defthm.lisp usr/share/acl2-8.6+dfsg/defuns.lisp usr/share/acl2-8.6+dfsg/doc.lisp usr/share/acl2-8.6+dfsg/float-a.lisp usr/share/acl2-8.6+dfsg/float-b.lisp usr/share/acl2-8.6+dfsg/float-raw.lisp usr/share/acl2-8.6+dfsg/futures-raw.lisp usr/share/acl2-8.6+dfsg/history-management.lisp usr/share/acl2-8.6+dfsg/hons-raw.lisp usr/share/acl2-8.6+dfsg/hons.lisp usr/share/acl2-8.6+dfsg/induct.lisp usr/share/acl2-8.6+dfsg/init.lisp usr/share/acl2-8.6+dfsg/interface-raw.lisp usr/share/acl2-8.6+dfsg/ld.lisp usr/share/acl2-8.6+dfsg/linear-a.lisp usr/share/acl2-8.6+dfsg/linear-b.lisp usr/share/acl2-8.6+dfsg/mcl-acl2-startup.lisp usr/share/acl2-8.6+dfsg/memoize-raw.lisp usr/share/acl2-8.6+dfsg/memoize.lisp usr/share/acl2-8.6+dfsg/multi-threading-raw.lisp usr/share/acl2-8.6+dfsg/non-linear.lisp usr/share/acl2-8.6+dfsg/openmcl-acl2-trace.lisp usr/share/acl2-8.6+dfsg/other-events.lisp usr/share/acl2-8.6+dfsg/other-processes.lisp usr/share/acl2-8.6+dfsg/parallel-raw.lisp usr/share/acl2-8.6+dfsg/parallel.lisp usr/share/acl2-8.6+dfsg/proof-builder-a.lisp usr/share/acl2-8.6+dfsg/proof-builder-b.lisp usr/share/acl2-8.6+dfsg/proof-builder-pkg.lisp usr/share/acl2-8.6+dfsg/prove.lisp usr/share/acl2-8.6+dfsg/rewrite.lisp usr/share/acl2-8.6+dfsg/serialize-raw.lisp usr/share/acl2-8.6+dfsg/serialize.lisp usr/share/acl2-8.6+dfsg/simplify.lisp usr/share/acl2-8.6+dfsg/tau.lisp usr/share/acl2-8.6+dfsg/translate.lisp usr/share/acl2-8.6+dfsg/type-set-a.lisp usr/share/acl2-8.6+dfsg/type-set-b.lisp usr/share/doc usr/share/doc/acl2-source usr/share/doc/acl2-source/changelog.Debian.gz usr/share/doc/acl2-source/copyright