This package is 2.9 MB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/a/acl2/acl2-source_8.0dfsg-1_all.deb
.
View its full control file here:
debian/control.
Computational Logic for Applicative Common Lisp: source files
This package depends on:
tex-common (>= 6).
This package does not recommend any other package.
This package does not suggest any other package.
This package conflicts with:
acl2 (<= 2.7-9).
acl2-source 8.0dfsg-1 is in ubuntu - bionic / universe. This package's architecture is: architectureless.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
postinst
|
text/x-shellscript | N/A | N/A | 388 bytes |
postrm
|
text/x-shellscript | N/A | N/A | 959 bytes |
/usr/
|
root:root | 0o755 | ||
/usr/share/
|
root:root | 0o755 | ||
/usr/share/acl2-8.0dfsg/
|
root:root | 0o755 | ||
/usr/share/acl2-8.0dfsg/acl2-check.lisp
|
text/plain | root:root | 0o644 | 15.9 KB |
/usr/share/acl2-8.0dfsg/acl2-fns.lisp
|
text/x-lisp | root:root | 0o644 | 90.0 KB |
/usr/share/acl2-8.0dfsg/acl2-init.lisp
|
text/plain | root:root | 0o644 | 96.1 KB |
/usr/share/acl2-8.0dfsg/acl2.lisp
|
text/x-lisp | root:root | 0o644 | 107.0 KB |
/usr/share/acl2-8.0dfsg/acl2-proclaims.lisp
|
text/plain | root:root | 0o644 | 277.8 KB |
/usr/share/acl2-8.0dfsg/acl2r.lisp
|
text/plain | root:root | 0o644 | 56 bytes |
/usr/share/acl2-8.0dfsg/akcl-acl2-trace.lisp
|
text/x-lisp | root:root | 0o644 | 8.4 KB |
/usr/share/acl2-8.0dfsg/allegro-acl2-trace.lisp
|
text/x-lisp | root:root | 0o644 | 10.5 KB |
/usr/share/acl2-8.0dfsg/apply-constraints.lisp
|
text/plain | root:root | 0o644 | 12.3 KB |
/usr/share/acl2-8.0dfsg/apply.lisp
|
text/plain | root:root | 0o644 | 93.7 KB |
/usr/share/acl2-8.0dfsg/apply-prim.lisp
|
text/plain | root:root | 0o644 | 19.6 KB |
/usr/share/acl2-8.0dfsg/apply-raw.lisp
|
text/x-lisp | root:root | 0o644 | 137.8 KB |
/usr/share/acl2-8.0dfsg/axioms.lisp
|
text/plain | root:root | 0o644 | 1.0 MB |
/usr/share/acl2-8.0dfsg/basis-a.lisp
|
text/plain | root:root | 0o644 | 297.0 KB |
/usr/share/acl2-8.0dfsg/basis-b.lisp
|
text/x-lisp | root:root | 0o644 | 164.4 KB |
/usr/share/acl2-8.0dfsg/bdd.lisp
|
text/plain | root:root | 0o644 | 130.9 KB |
/usr/share/acl2-8.0dfsg/boot-strap-pass-2-a.lisp
|
text/plain | root:root | 0o644 | 47.0 KB |
/usr/share/acl2-8.0dfsg/boot-strap-pass-2-b.lisp
|
text/x-lisp | root:root | 0o644 | 30.4 KB |
/usr/share/acl2-8.0dfsg/defpkgs.lisp
|
text/plain | root:root | 0o644 | 29.5 KB |
/usr/share/acl2-8.0dfsg/defthm.lisp
|
text/x-lisp | root:root | 0o644 | 520.5 KB |
/usr/share/acl2-8.0dfsg/defuns.lisp
|
text/x-lisp | root:root | 0o644 | 411.6 KB |
/usr/share/acl2-8.0dfsg/doc.lisp
|
text/plain | root:root | 0o644 | 4.8 MB |
/usr/share/acl2-8.0dfsg/futures-raw.lisp
|
text/x-lisp | root:root | 0o644 | 58.0 KB |
/usr/share/acl2-8.0dfsg/history-management.lisp
|
text/plain | root:root | 0o644 | 704.3 KB |
/usr/share/acl2-8.0dfsg/hons.lisp
|
text/x-lisp | root:root | 0o644 | 9.6 KB |
/usr/share/acl2-8.0dfsg/hons-raw.lisp
|
text/plain | root:root | 0o644 | 173.1 KB |
/usr/share/acl2-8.0dfsg/induct.lisp
|
text/x-lisp | root:root | 0o644 | 147.6 KB |
/usr/share/acl2-8.0dfsg/init.lisp
|
text/x-lisp | root:root | 0o644 | 4.0 KB |
/usr/share/acl2-8.0dfsg/interface-raw.lisp
|
text/x-lisp | root:root | 0o644 | 442.7 KB |
/usr/share/acl2-8.0dfsg/ld.lisp
|
text/x-lisp | root:root | 0o644 | 206.8 KB |
/usr/share/acl2-8.0dfsg/linear-a.lisp
|
text/x-lisp | root:root | 0o644 | 149.5 KB |
/usr/share/acl2-8.0dfsg/linear-b.lisp
|
text/x-lisp | root:root | 0o644 | 40.8 KB |
/usr/share/acl2-8.0dfsg/mcl-acl2-startup.lisp
|
text/x-lisp | root:root | 0o644 | 5.2 KB |
/usr/share/acl2-8.0dfsg/memoize.lisp
|
text/x-lisp | root:root | 0o644 | 15.7 KB |
/usr/share/acl2-8.0dfsg/memoize-raw.lisp
|
text/plain | root:root | 0o644 | 208.9 KB |
/usr/share/acl2-8.0dfsg/multi-threading-raw.lisp
|
text/plain | root:root | 0o644 | 42.8 KB |
/usr/share/acl2-8.0dfsg/non-linear.lisp
|
text/x-lisp | root:root | 0o644 | 40.8 KB |
/usr/share/acl2-8.0dfsg/openmcl-acl2-trace.lisp
|
text/x-lisp | root:root | 0o644 | 9.0 KB |
/usr/share/acl2-8.0dfsg/other-events.lisp
|
text/x-lisp | root:root | 0o644 | 1.3 MB |
/usr/share/acl2-8.0dfsg/other-processes.lisp
|
text/x-lisp | root:root | 0o644 | 105.0 KB |
/usr/share/acl2-8.0dfsg/parallel.lisp
|
text/x-lisp | root:root | 0o644 | 40.6 KB |
/usr/share/acl2-8.0dfsg/parallel-raw.lisp
|
text/plain | root:root | 0o644 | 60.0 KB |
/usr/share/acl2-8.0dfsg/proof-builder-a.lisp
|
text/x-lisp | root:root | 0o644 | 63.6 KB |
/usr/share/acl2-8.0dfsg/proof-builder-b.lisp
|
text/x-lisp | root:root | 0o644 | 207.2 KB |
/usr/share/acl2-8.0dfsg/proof-builder-pkg.lisp
|
text/plain | root:root | 0o644 | 1.1 KB |
/usr/share/acl2-8.0dfsg/prove.lisp
|
text/x-lisp | root:root | 0o644 | 412.2 KB |
/usr/share/acl2-8.0dfsg/rewrite.lisp
|
text/plain | root:root | 0o644 | 767.1 KB |
/usr/share/acl2-8.0dfsg/serialize.lisp
|
text/x-lisp | root:root | 0o644 | 4.2 KB |
/usr/share/acl2-8.0dfsg/serialize-raw.lisp
|
text/plain | root:root | 0o644 | 66.9 KB |
/usr/share/acl2-8.0dfsg/simplify.lisp
|
text/x-lisp | root:root | 0o644 | 433.1 KB |
/usr/share/acl2-8.0dfsg/TAGS
|
application/octet-stream | root:root | 0o644 | 335.5 KB |
/usr/share/acl2-8.0dfsg/tau.lisp
|
text/x-lisp | root:root | 0o644 | 575.7 KB |
/usr/share/acl2-8.0dfsg/translate.lisp
|
text/x-lisp | root:root | 0o644 | 472.4 KB |
/usr/share/acl2-8.0dfsg/type-set-a.lisp
|
text/plain | root:root | 0o644 | 40.5 KB |
/usr/share/acl2-8.0dfsg/type-set-b.lisp
|
text/x-lisp | root:root | 0o644 | 537.0 KB |
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/acl2-source/
|
root:root | 0o755 | ||
/usr/share/doc/acl2-source/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 900 bytes |
/usr/share/doc/acl2-source/copyright
|
text/plain | root:root | 0o644 | 7.6 KB |