This package is 2.6 MB.
It is available at http://ftp.debian.org/debian/pool/main/a/acl2/acl2-source_6.5-2_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.5-2 is in debian - jessie / main. This package's architecture is: architectureless.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
postinst
|
text/x-shellscript | N/A | N/A | 3.9 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.5/
|
root:root | 0o755 | ||
/usr/share/acl2-6.5/acl2-check.lisp
|
text/plain | root:root | 0o644 | 15.9 KB |
/usr/share/acl2-6.5/acl2-fns.lisp
|
text/x-lisp | root:root | 0o644 | 66.5 KB |
/usr/share/acl2-6.5/acl2-init.lisp
|
text/plain | root:root | 0o644 | 84.5 KB |
/usr/share/acl2-6.5/acl2.lisp
|
text/x-lisp | root:root | 0o644 | 100.0 KB |
/usr/share/acl2-6.5/acl2r.lisp
|
application/octet-stream | root:root | 0o644 | 1 byte |
/usr/share/acl2-6.5/akcl-acl2-trace.lisp
|
text/x-lisp | root:root | 0o644 | 8.4 KB |
/usr/share/acl2-6.5/allegro-acl2-trace.lisp
|
text/x-lisp | root:root | 0o644 | 9.7 KB |
/usr/share/acl2-6.5/axioms.lisp
|
text/plain | root:root | 0o644 | 985.3 KB |
/usr/share/acl2-6.5/basis.lisp
|
text/x-lisp | root:root | 0o644 | 374.4 KB |
/usr/share/acl2-6.5/bdd.lisp
|
text/plain | root:root | 0o644 | 131.2 KB |
/usr/share/acl2-6.5/boot-strap-pass-2.lisp
|
text/x-lisp | root:root | 0o644 | 55.8 KB |
/usr/share/acl2-6.5/defpkgs.lisp
|
text/plain | root:root | 0o644 | 27.0 KB |
/usr/share/acl2-6.5/defthm.lisp
|
text/x-lisp | root:root | 0o644 | 462.6 KB |
/usr/share/acl2-6.5/defuns.lisp
|
text/x-lisp | root:root | 0o644 | 403.8 KB |
/usr/share/acl2-6.5/doc.lisp
|
text/plain | root:root | 0o644 | 4.1 MB |
/usr/share/acl2-6.5/futures-raw.lisp
|
text/x-lisp | root:root | 0o644 | 57.4 KB |
/usr/share/acl2-6.5/history-management.lisp
|
text/plain | root:root | 0o644 | 730.6 KB |
/usr/share/acl2-6.5/hons.lisp
|
text/plain | root:root | 0o644 | 9.1 KB |
/usr/share/acl2-6.5/hons-raw.lisp
|
text/plain | root:root | 0o644 | 166.5 KB |
/usr/share/acl2-6.5/induct.lisp
|
text/x-lisp | root:root | 0o644 | 138.3 KB |
/usr/share/acl2-6.5/init.lisp
|
text/x-lisp | root:root | 0o644 | 4.3 KB |
/usr/share/acl2-6.5/interface-raw.lisp
|
text/plain | root:root | 0o644 | 405.5 KB |
/usr/share/acl2-6.5/ld.lisp
|
text/x-lisp | root:root | 0o644 | 195.1 KB |
/usr/share/acl2-6.5/linear-a.lisp
|
text/x-lisp | root:root | 0o644 | 149.2 KB |
/usr/share/acl2-6.5/linear-b.lisp
|
text/x-lisp | root:root | 0o644 | 37.5 KB |
/usr/share/acl2-6.5/mcl-acl2-startup.lisp
|
text/x-lisp | root:root | 0o644 | 5.2 KB |
/usr/share/acl2-6.5/memoize.lisp
|
text/x-lisp | root:root | 0o644 | 15.9 KB |
/usr/share/acl2-6.5/memoize-raw.lisp
|
text/plain | root:root | 0o644 | 161.7 KB |
/usr/share/acl2-6.5/multi-threading-raw.lisp
|
text/plain | root:root | 0o644 | 45.3 KB |
/usr/share/acl2-6.5/non-linear.lisp
|
text/x-lisp | root:root | 0o644 | 40.8 KB |
/usr/share/acl2-6.5/openmcl-acl2-trace.lisp
|
text/x-lisp | root:root | 0o644 | 8.4 KB |
/usr/share/acl2-6.5/other-events.lisp
|
text/x-lisp | root:root | 0o644 | 1.3 MB |
/usr/share/acl2-6.5/other-processes.lisp
|
text/x-lisp | root:root | 0o644 | 104.9 KB |
/usr/share/acl2-6.5/parallel.lisp
|
text/x-lisp | root:root | 0o644 | 40.8 KB |
/usr/share/acl2-6.5/parallel-raw.lisp
|
text/plain | root:root | 0o644 | 59.2 KB |
/usr/share/acl2-6.5/proof-checker-a.lisp
|
text/x-lisp | root:root | 0o644 | 63.2 KB |
/usr/share/acl2-6.5/proof-checker-b.lisp
|
text/x-lisp | root:root | 0o644 | 205.2 KB |
/usr/share/acl2-6.5/proof-checker-pkg.lisp
|
text/plain | root:root | 0o644 | 904 bytes |
/usr/share/acl2-6.5/prove.lisp
|
text/x-lisp | root:root | 0o644 | 415.1 KB |
/usr/share/acl2-6.5/rewrite.lisp
|
text/plain | root:root | 0o644 | 819.5 KB |
/usr/share/acl2-6.5/serialize.lisp
|
text/x-lisp | root:root | 0o644 | 4.2 KB |
/usr/share/acl2-6.5/serialize-raw.lisp
|
text/plain | root:root | 0o644 | 66.6 KB |
/usr/share/acl2-6.5/simplify.lisp
|
text/x-lisp | root:root | 0o644 | 397.5 KB |
/usr/share/acl2-6.5/TAGS
|
application/octet-stream | root:root | 0o644 | 320.5 KB |
/usr/share/acl2-6.5/tau.lisp
|
text/x-lisp | root:root | 0o644 | 571.9 KB |
/usr/share/acl2-6.5/translate.lisp
|
text/x-lisp | root:root | 0o644 | 396.6 KB |
/usr/share/acl2-6.5/type-set-a.lisp
|
text/plain | root:root | 0o644 | 37.4 KB |
/usr/share/acl2-6.5/type-set-b.lisp
|
text/x-lisp | root:root | 0o644 | 497.5 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 | 6.6 KB |
/usr/share/doc/acl2-source/copyright
|
text/plain | root:root | 0o644 | 7.6 KB |