acl2-source (8.7+dfsg-2)
5 versions available in ubuntu/stonking/universe/i386
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
- 21.9 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 | da1a93a6…44817aef | |
| SHA-1 | 10de58c2…94ab23b0 | |
| SHA-256 | 686fbe50…b0806be1 | |
| SHA-512 | 8d7c22b5…6f809e0a |
Contents
Files and directories included
. usr usr/share usr/share/acl2-8.7+dfsg usr/share/acl2-8.7+dfsg/TAGS usr/share/acl2-8.7+dfsg/acl2-check.lisp usr/share/acl2-8.7+dfsg/acl2-fns.lisp usr/share/acl2-8.7+dfsg/acl2-init.lisp usr/share/acl2-8.7+dfsg/acl2-proclaims.lisp usr/share/acl2-8.7+dfsg/acl2.lisp usr/share/acl2-8.7+dfsg/acl2r.lisp usr/share/acl2-8.7+dfsg/akcl-acl2-trace.lisp usr/share/acl2-8.7+dfsg/allegro-acl2-trace.lisp usr/share/acl2-8.7+dfsg/apply-constraints.lisp usr/share/acl2-8.7+dfsg/apply-prim.lisp usr/share/acl2-8.7+dfsg/apply-raw.lisp usr/share/acl2-8.7+dfsg/apply.lisp usr/share/acl2-8.7+dfsg/axioms.lisp usr/share/acl2-8.7+dfsg/basis-a.lisp usr/share/acl2-8.7+dfsg/basis-b.lisp usr/share/acl2-8.7+dfsg/bdd.lisp usr/share/acl2-8.7+dfsg/boot-strap-pass-2-a.lisp usr/share/acl2-8.7+dfsg/boot-strap-pass-2-b.lisp usr/share/acl2-8.7+dfsg/defpkgs.lisp usr/share/acl2-8.7+dfsg/defthm.lisp usr/share/acl2-8.7+dfsg/defuns.lisp usr/share/acl2-8.7+dfsg/doc.lisp usr/share/acl2-8.7+dfsg/float-a.lisp usr/share/acl2-8.7+dfsg/float-b.lisp usr/share/acl2-8.7+dfsg/float-raw.lisp usr/share/acl2-8.7+dfsg/futures-raw.lisp usr/share/acl2-8.7+dfsg/history-management.lisp usr/share/acl2-8.7+dfsg/hons-raw.lisp usr/share/acl2-8.7+dfsg/hons.lisp usr/share/acl2-8.7+dfsg/induct.lisp usr/share/acl2-8.7+dfsg/init.lisp usr/share/acl2-8.7+dfsg/interface-raw.lisp usr/share/acl2-8.7+dfsg/ld.lisp usr/share/acl2-8.7+dfsg/linear-a.lisp usr/share/acl2-8.7+dfsg/linear-b.lisp usr/share/acl2-8.7+dfsg/mcl-acl2-startup.lisp usr/share/acl2-8.7+dfsg/memoize-raw.lisp usr/share/acl2-8.7+dfsg/memoize.lisp usr/share/acl2-8.7+dfsg/multi-threading-raw.lisp usr/share/acl2-8.7+dfsg/non-linear.lisp usr/share/acl2-8.7+dfsg/openmcl-acl2-trace.lisp usr/share/acl2-8.7+dfsg/other-events.lisp usr/share/acl2-8.7+dfsg/other-processes.lisp usr/share/acl2-8.7+dfsg/parallel-raw.lisp usr/share/acl2-8.7+dfsg/parallel.lisp usr/share/acl2-8.7+dfsg/proof-builder-a.lisp usr/share/acl2-8.7+dfsg/proof-builder-b.lisp usr/share/acl2-8.7+dfsg/proof-builder-pkg.lisp usr/share/acl2-8.7+dfsg/prove.lisp usr/share/acl2-8.7+dfsg/rewrite.lisp usr/share/acl2-8.7+dfsg/serialize-raw.lisp usr/share/acl2-8.7+dfsg/serialize.lisp usr/share/acl2-8.7+dfsg/simplify.lisp usr/share/acl2-8.7+dfsg/tau.lisp usr/share/acl2-8.7+dfsg/translate.lisp usr/share/acl2-8.7+dfsg/type-set-a.lisp usr/share/acl2-8.7+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