This package is 2.8 MB.
It is available at http://ftp.debian.org/debian/pool/main/a/acl2/acl2-source_7.2dfsg-3_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.2dfsg-3 is in debian - stretch / main. 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.2dfsg/
|
root:root | 0o755 | ||
/usr/share/acl2-7.2dfsg/acl2-check.lisp
|
text/plain | root:root | 0o644 | 15.8 KB |
/usr/share/acl2-7.2dfsg/acl2-fns.lisp
|
text/x-lisp | root:root | 0o644 | 85.6 KB |
/usr/share/acl2-7.2dfsg/acl2-init.lisp
|
text/plain | root:root | 0o644 | 92.5 KB |
/usr/share/acl2-7.2dfsg/acl2.lisp
|
text/x-lisp | root:root | 0o644 | 105.1 KB |
/usr/share/acl2-7.2dfsg/acl2-proclaims.lisp
|
text/plain | root:root | 0o644 | 209.8 KB |
/usr/share/acl2-7.2dfsg/acl2r.lisp
|
text/plain | root:root | 0o644 | 56 bytes |
/usr/share/acl2-7.2dfsg/akcl-acl2-trace.lisp
|
text/x-lisp | root:root | 0o644 | 8.4 KB |
/usr/share/acl2-7.2dfsg/allegro-acl2-trace.lisp
|
text/x-lisp | root:root | 0o644 | 9.7 KB |
/usr/share/acl2-7.2dfsg/axioms.lisp
|
text/plain | root:root | 0o644 | 998.1 KB |
/usr/share/acl2-7.2dfsg/basis-a.lisp
|
text/x-lisp | root:root | 0o644 | 287.0 KB |
/usr/share/acl2-7.2dfsg/basis-b.lisp
|
text/x-lisp | root:root | 0o644 | 160.8 KB |
/usr/share/acl2-7.2dfsg/bdd.lisp
|
text/plain | root:root | 0o644 | 130.9 KB |
/usr/share/acl2-7.2dfsg/boot-strap-pass-2.lisp
|
text/plain | root:root | 0o644 | 67.4 KB |
/usr/share/acl2-7.2dfsg/defpkgs.lisp
|
text/plain | root:root | 0o644 | 27.9 KB |
/usr/share/acl2-7.2dfsg/defthm.lisp
|
text/x-lisp | root:root | 0o644 | 513.8 KB |
/usr/share/acl2-7.2dfsg/defuns.lisp
|
text/x-lisp | root:root | 0o644 | 381.5 KB |
/usr/share/acl2-7.2dfsg/doc.lisp
|
text/plain | root:root | 0o644 | 4.5 MB |
/usr/share/acl2-7.2dfsg/futures-raw.lisp
|
text/x-lisp | root:root | 0o644 | 58.1 KB |
/usr/share/acl2-7.2dfsg/history-management.lisp
|
text/plain | root:root | 0o644 | 669.1 KB |
/usr/share/acl2-7.2dfsg/hons.lisp
|
text/plain | root:root | 0o644 | 9.1 KB |
/usr/share/acl2-7.2dfsg/hons-raw.lisp
|
text/plain | root:root | 0o644 | 171.5 KB |
/usr/share/acl2-7.2dfsg/induct.lisp
|
text/x-lisp | root:root | 0o644 | 139.1 KB |
/usr/share/acl2-7.2dfsg/init.lisp
|
text/x-lisp | root:root | 0o644 | 4.1 KB |
/usr/share/acl2-7.2dfsg/interface-raw.lisp
|
text/plain | root:root | 0o644 | 424.4 KB |
/usr/share/acl2-7.2dfsg/ld.lisp
|
text/x-lisp | root:root | 0o644 | 200.4 KB |
/usr/share/acl2-7.2dfsg/linear-a.lisp
|
text/x-lisp | root:root | 0o644 | 149.4 KB |
/usr/share/acl2-7.2dfsg/linear-b.lisp
|
text/x-lisp | root:root | 0o644 | 37.4 KB |
/usr/share/acl2-7.2dfsg/mcl-acl2-startup.lisp
|
text/x-lisp | root:root | 0o644 | 5.2 KB |
/usr/share/acl2-7.2dfsg/memoize.lisp
|
text/x-lisp | root:root | 0o644 | 15.5 KB |
/usr/share/acl2-7.2dfsg/memoize-raw.lisp
|
text/plain | root:root | 0o644 | 207.0 KB |
/usr/share/acl2-7.2dfsg/multi-threading-raw.lisp
|
text/plain | root:root | 0o644 | 42.8 KB |
/usr/share/acl2-7.2dfsg/non-linear.lisp
|
text/x-lisp | root:root | 0o644 | 40.8 KB |
/usr/share/acl2-7.2dfsg/openmcl-acl2-trace.lisp
|
text/x-lisp | root:root | 0o644 | 8.4 KB |
/usr/share/acl2-7.2dfsg/other-events.lisp
|
text/x-lisp | root:root | 0o644 | 1.2 MB |
/usr/share/acl2-7.2dfsg/other-processes.lisp
|
text/x-lisp | root:root | 0o644 | 105.8 KB |
/usr/share/acl2-7.2dfsg/parallel.lisp
|
text/x-lisp | root:root | 0o644 | 40.7 KB |
/usr/share/acl2-7.2dfsg/parallel-raw.lisp
|
text/plain | root:root | 0o644 | 60.0 KB |
/usr/share/acl2-7.2dfsg/proof-checker-a.lisp
|
text/x-lisp | root:root | 0o644 | 63.2 KB |
/usr/share/acl2-7.2dfsg/proof-checker-b.lisp
|
text/x-lisp | root:root | 0o644 | 203.4 KB |
/usr/share/acl2-7.2dfsg/proof-checker-pkg.lisp
|
text/plain | root:root | 0o644 | 904 bytes |
/usr/share/acl2-7.2dfsg/prove.lisp
|
text/x-lisp | root:root | 0o644 | 407.3 KB |
/usr/share/acl2-7.2dfsg/rewrite.lisp
|
text/plain | root:root | 0o644 | 758.4 KB |
/usr/share/acl2-7.2dfsg/serialize.lisp
|
text/x-lisp | root:root | 0o644 | 4.2 KB |
/usr/share/acl2-7.2dfsg/serialize-raw.lisp
|
text/plain | root:root | 0o644 | 66.6 KB |
/usr/share/acl2-7.2dfsg/simplify.lisp
|
text/x-lisp | root:root | 0o644 | 397.4 KB |
/usr/share/acl2-7.2dfsg/TAGS
|
application/octet-stream | root:root | 0o644 | 321.1 KB |
/usr/share/acl2-7.2dfsg/tau.lisp
|
text/x-lisp | root:root | 0o644 | 570.3 KB |
/usr/share/acl2-7.2dfsg/translate.lisp
|
text/x-lisp | root:root | 0o644 | 434.9 KB |
/usr/share/acl2-7.2dfsg/type-set-a.lisp
|
text/plain | root:root | 0o644 | 37.4 KB |
/usr/share/acl2-7.2dfsg/type-set-b.lisp
|
text/x-lisp | root:root | 0o644 | 509.9 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 | 7.6 KB |
/usr/share/doc/acl2-source/copyright
|
text/plain | root:root | 0o644 | 7.6 KB |