This package is 2.7 MB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/a/acl2/acl2-source_7.1-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 7.1-1 is in ubuntu - xenial / universe. This package's architecture is: architectureless.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
postinst
|
text/x-shellscript | N/A | N/A | 386 bytes |
postrm
|
text/x-shellscript | N/A | N/A | 957 bytes |
/usr/
|
root:root | 0o755 | ||
/usr/share/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/acl2-check.lisp
|
text/plain | root:root | 0o644 | 15.9 KB |
/usr/share/acl2-7.1/acl2-fns.lisp
|
text/x-lisp | root:root | 0o644 | 84.2 KB |
/usr/share/acl2-7.1/acl2-init.lisp
|
text/plain | root:root | 0o644 | 83.0 KB |
/usr/share/acl2-7.1/acl2.lisp
|
text/x-lisp | root:root | 0o644 | 101.4 KB |
/usr/share/acl2-7.1/acl2-proclaims.lisp
|
text/plain | root:root | 0o644 | 207.1 KB |
/usr/share/acl2-7.1/acl2r.lisp
|
text/plain | root:root | 0o644 | 56 bytes |
/usr/share/acl2-7.1/akcl-acl2-trace.lisp
|
text/x-lisp | root:root | 0o644 | 8.4 KB |
/usr/share/acl2-7.1/allegro-acl2-trace.lisp
|
text/x-lisp | root:root | 0o644 | 9.7 KB |
/usr/share/acl2-7.1/axioms.lisp
|
text/plain | root:root | 0o644 | 997.2 KB |
/usr/share/acl2-7.1/basis-a.lisp
|
text/x-lisp | root:root | 0o644 | 285.3 KB |
/usr/share/acl2-7.1/basis-b.lisp
|
text/x-lisp | root:root | 0o644 | 158.8 KB |
/usr/share/acl2-7.1/bdd.lisp
|
text/plain | root:root | 0o644 | 131.2 KB |
/usr/share/acl2-7.1/boot-strap-pass-2.lisp
|
text/x-lisp | root:root | 0o644 | 63.2 KB |
/usr/share/acl2-7.1/defpkgs.lisp
|
text/plain | root:root | 0o644 | 27.2 KB |
/usr/share/acl2-7.1/defthm.lisp
|
text/x-lisp | root:root | 0o644 | 467.3 KB |
/usr/share/acl2-7.1/defuns.lisp
|
text/x-lisp | root:root | 0o644 | 403.8 KB |
/usr/share/acl2-7.1/doc.lisp
|
text/plain | root:root | 0o644 | 4.3 MB |
/usr/share/acl2-7.1/futures-raw.lisp
|
text/x-lisp | root:root | 0o644 | 58.1 KB |
/usr/share/acl2-7.1/history-management.lisp
|
text/plain | root:root | 0o644 | 708.7 KB |
/usr/share/acl2-7.1/hons.lisp
|
text/plain | root:root | 0o644 | 9.2 KB |
/usr/share/acl2-7.1/hons-raw.lisp
|
text/plain | root:root | 0o644 | 171.8 KB |
/usr/share/acl2-7.1/induct.lisp
|
text/x-lisp | root:root | 0o644 | 138.3 KB |
/usr/share/acl2-7.1/init.lisp
|
text/x-lisp | root:root | 0o644 | 4.1 KB |
/usr/share/acl2-7.1/interface-raw.lisp
|
text/plain | root:root | 0o644 | 412.6 KB |
/usr/share/acl2-7.1/ld.lisp
|
text/x-lisp | root:root | 0o644 | 195.7 KB |
/usr/share/acl2-7.1/linear-a.lisp
|
text/x-lisp | root:root | 0o644 | 149.2 KB |
/usr/share/acl2-7.1/linear-b.lisp
|
text/x-lisp | root:root | 0o644 | 37.5 KB |
/usr/share/acl2-7.1/mcl-acl2-startup.lisp
|
text/x-lisp | root:root | 0o644 | 5.2 KB |
/usr/share/acl2-7.1/memoize.lisp
|
text/x-lisp | root:root | 0o644 | 15.7 KB |
/usr/share/acl2-7.1/memoize-raw.lisp
|
text/plain | root:root | 0o644 | 214.8 KB |
/usr/share/acl2-7.1/multi-threading-raw.lisp
|
text/plain | root:root | 0o644 | 42.8 KB |
/usr/share/acl2-7.1/non-linear.lisp
|
text/x-lisp | root:root | 0o644 | 40.8 KB |
/usr/share/acl2-7.1/openmcl-acl2-trace.lisp
|
text/x-lisp | root:root | 0o644 | 8.4 KB |
/usr/share/acl2-7.1/other-events.lisp
|
text/x-lisp | root:root | 0o644 | 1.3 MB |
/usr/share/acl2-7.1/other-processes.lisp
|
text/x-lisp | root:root | 0o644 | 105.9 KB |
/usr/share/acl2-7.1/parallel.lisp
|
text/x-lisp | root:root | 0o644 | 40.7 KB |
/usr/share/acl2-7.1/parallel-raw.lisp
|
text/plain | root:root | 0o644 | 60.0 KB |
/usr/share/acl2-7.1/proof-checker-a.lisp
|
text/x-lisp | root:root | 0o644 | 64.1 KB |
/usr/share/acl2-7.1/proof-checker-b.lisp
|
text/x-lisp | root:root | 0o644 | 210.2 KB |
/usr/share/acl2-7.1/proof-checker-pkg.lisp
|
text/plain | root:root | 0o644 | 904 bytes |
/usr/share/acl2-7.1/prove.lisp
|
text/x-lisp | root:root | 0o644 | 420.0 KB |
/usr/share/acl2-7.1/rewrite.lisp
|
text/plain | root:root | 0o644 | 749.3 KB |
/usr/share/acl2-7.1/serialize.lisp
|
text/x-lisp | root:root | 0o644 | 4.2 KB |
/usr/share/acl2-7.1/serialize-raw.lisp
|
text/plain | root:root | 0o644 | 66.6 KB |
/usr/share/acl2-7.1/simplify.lisp
|
text/x-lisp | root:root | 0o644 | 398.3 KB |
/usr/share/acl2-7.1/TAGS
|
application/octet-stream | root:root | 0o644 | 320.8 KB |
/usr/share/acl2-7.1/tau.lisp
|
text/x-lisp | root:root | 0o644 | 572.9 KB |
/usr/share/acl2-7.1/translate.lisp
|
text/x-lisp | root:root | 0o644 | 430.5 KB |
/usr/share/acl2-7.1/type-set-a.lisp
|
text/plain | root:root | 0o644 | 37.4 KB |
/usr/share/acl2-7.1/type-set-b.lisp
|
text/x-lisp | root:root | 0o644 | 505.1 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 | 650 bytes |
/usr/share/doc/acl2-source/copyright
|
text/plain | root:root | 0o644 | 7.6 KB |