This package is 3.6 MB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/a/acl2/acl2-source_6.3-5_all.deb
.
View its full control file here:
debian/control.
Computational Logic for Applicative Common Lisp: source files
This package depends on:
dpkg (>= 1.14.18), tex-common (>= 3).
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 6.3-5 is in ubuntu - trusty / universe. This package's architecture is: architectureless.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
postinst
|
text/x-shellscript | N/A | N/A | 3.7 KB |
postrm
|
text/x-shellscript | N/A | N/A | 2.4 KB |
/usr/
|
root:root | 0o755 | ||
/usr/share/
|
root:root | 0o755 | ||
/usr/share/acl2-6.3/
|
root:root | 0o755 | ||
/usr/share/acl2-6.3/acl2-check.lisp
|
text/plain | root:root | 0o644 | 15.9 KB |
/usr/share/acl2-6.3/acl2-fns.lisp
|
text/x-lisp | root:root | 0o644 | 64.0 KB |
/usr/share/acl2-6.3/acl2-init.lisp
|
text/plain | root:root | 0o644 | 83.8 KB |
/usr/share/acl2-6.3/acl2.lisp
|
text/x-lisp | root:root | 0o644 | 99.9 KB |
/usr/share/acl2-6.3/acl2r.lisp
|
application/octet-stream | root:root | 0o644 | 1 byte |
/usr/share/acl2-6.3/akcl-acl2-trace.lisp
|
text/x-lisp | root:root | 0o644 | 8.4 KB |
/usr/share/acl2-6.3/allegro-acl2-trace.lisp
|
text/x-lisp | root:root | 0o644 | 9.7 KB |
/usr/share/acl2-6.3/axioms.lisp
|
text/plain | root:root | 0o644 | 2.0 MB |
/usr/share/acl2-6.3/basis.lisp
|
text/x-lisp | root:root | 0o644 | 618.8 KB |
/usr/share/acl2-6.3/bdd.lisp
|
text/plain | root:root | 0o644 | 163.8 KB |
/usr/share/acl2-6.3/boot-strap-pass-2.lisp
|
text/x-lisp | root:root | 0o644 | 57.2 KB |
/usr/share/acl2-6.3/defpkgs.lisp
|
text/plain | root:root | 0o644 | 28.9 KB |
/usr/share/acl2-6.3/defthm.lisp
|
text/x-lisp | root:root | 0o644 | 677.5 KB |
/usr/share/acl2-6.3/defuns.lisp
|
text/x-lisp | root:root | 0o644 | 427.6 KB |
/usr/share/acl2-6.3/futures-raw.lisp
|
text/x-lisp | root:root | 0o644 | 57.4 KB |
/usr/share/acl2-6.3/history-management.lisp
|
text/plain | root:root | 0o644 | 996.4 KB |
/usr/share/acl2-6.3/hons.lisp
|
text/plain | root:root | 0o644 | 48.2 KB |
/usr/share/acl2-6.3/hons-raw.lisp
|
text/plain | root:root | 0o644 | 146.0 KB |
/usr/share/acl2-6.3/induct.lisp
|
text/x-lisp | root:root | 0o644 | 138.3 KB |
/usr/share/acl2-6.3/init.lisp
|
text/x-lisp | root:root | 0o644 | 4.3 KB |
/usr/share/acl2-6.3/interface-raw.lisp
|
text/plain | root:root | 0o644 | 390.2 KB |
/usr/share/acl2-6.3/ld.lisp
|
text/x-lisp | root:root | 0o644 | 1.2 MB |
/usr/share/acl2-6.3/linear-a.lisp
|
text/x-lisp | root:root | 0o644 | 153.8 KB |
/usr/share/acl2-6.3/linear-b.lisp
|
text/x-lisp | root:root | 0o644 | 37.5 KB |
/usr/share/acl2-6.3/mcl-acl2-startup.lisp
|
text/x-lisp | root:root | 0o644 | 5.2 KB |
/usr/share/acl2-6.3/memoize.lisp
|
text/x-lisp | root:root | 0o644 | 49.5 KB |
/usr/share/acl2-6.3/memoize-raw.lisp
|
text/plain | root:root | 0o644 | 159.5 KB |
/usr/share/acl2-6.3/multi-threading-raw.lisp
|
text/plain | root:root | 0o644 | 45.3 KB |
/usr/share/acl2-6.3/non-linear.lisp
|
text/x-lisp | root:root | 0o644 | 40.8 KB |
/usr/share/acl2-6.3/openmcl-acl2-trace.lisp
|
text/x-lisp | root:root | 0o644 | 8.4 KB |
/usr/share/acl2-6.3/other-events.lisp
|
text/x-lisp | root:root | 0o644 | 1.6 MB |
/usr/share/acl2-6.3/other-processes.lisp
|
text/x-lisp | root:root | 0o644 | 104.9 KB |
/usr/share/acl2-6.3/parallel.lisp
|
text/plain | root:root | 0o644 | 116.3 KB |
/usr/share/acl2-6.3/parallel-raw.lisp
|
text/plain | root:root | 0o644 | 59.2 KB |
/usr/share/acl2-6.3/proof-checker-a.lisp
|
text/x-lisp | root:root | 0o644 | 87.4 KB |
/usr/share/acl2-6.3/proof-checker-b.lisp
|
text/x-lisp | root:root | 0o644 | 318.2 KB |
/usr/share/acl2-6.3/proof-checker-pkg.lisp
|
text/plain | root:root | 0o644 | 904 bytes |
/usr/share/acl2-6.3/prove.lisp
|
text/x-lisp | root:root | 0o644 | 443.6 KB |
/usr/share/acl2-6.3/rewrite.lisp
|
text/plain | root:root | 0o644 | 838.5 KB |
/usr/share/acl2-6.3/serialize.lisp
|
text/x-lisp | root:root | 0o644 | 12.4 KB |
/usr/share/acl2-6.3/serialize-raw.lisp
|
text/plain | root:root | 0o644 | 63.7 KB |
/usr/share/acl2-6.3/simplify.lisp
|
text/x-lisp | root:root | 0o644 | 421.7 KB |
/usr/share/acl2-6.3/sum-list-example.lisp
|
text/x-lisp | root:root | 0o644 | 4.1 KB |
/usr/share/acl2-6.3/TAGS
|
application/octet-stream | root:root | 0o644 | 339.5 KB |
/usr/share/acl2-6.3/tau.lisp
|
text/x-lisp | root:root | 0o644 | 601.2 KB |
/usr/share/acl2-6.3/translate.lisp
|
text/plain | root:root | 0o644 | 400.6 KB |
/usr/share/acl2-6.3/tutorial.lisp
|
text/plain | root:root | 0o644 | 442.1 KB |
/usr/share/acl2-6.3/type-set-a.lisp
|
text/plain | root:root | 0o644 | 37.4 KB |
/usr/share/acl2-6.3/type-set-b.lisp
|
text/x-lisp | root:root | 0o644 | 554.7 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 | 682 bytes |
/usr/share/doc/acl2-source/copyright
|
text/plain | root:root | 0o644 | 3.9 KB |