Package - acl2-source

Package:  acl2-source
apt-get install acl2-source
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/a/acl2/acl2-source_8.6+dfsg-2_all.deb (Size: 3.8MiB)

PropertyValue
Packageacl2-source
Sourceacl2
Version8.6+dfsg-2
Installed-Size21101
MaintainerCamm Maguire
Architectureall
Replacesacl2 (<= 2.7-9)
Dependstex-common (>= 6.13)
Breaksacl2 (<= 2.7-9)
DescriptionComputational Logic for Applicative Common Lisp: source files
Description-md524b72fcd3b9c9afee8776f2d281499a4
Homepagehttps://www.cs.utexas.edu/users/moore/acl2/
Tagdevel::interpreter, devel::lang:lisp, field::mathematics, implemented-in::lisp, interface::text-mode, role::program, role::source, uitoolkit::ncurses
Sectionmath
Priorityoptional
Filenamepool/main/a/acl2/acl2-source_8.6+dfsg-2_all.deb
Size3996788
MD5sumb52148db35f8c35104e7721415e04a9e
SHA256a31bf26a36a5102089d2336c02ec4cf68f31d9ff2dad65ff206b17bca4bb7704

Files in package

  • /usr/share/acl2-8.6+dfsg/TAGS
  • /usr/share/acl2-8.6+dfsg/acl2-check.lisp
  • /usr/share/acl2-8.6+dfsg/acl2-fns.lisp
  • /usr/share/acl2-8.6+dfsg/acl2-init.lisp
  • /usr/share/acl2-8.6+dfsg/acl2-proclaims.lisp
  • /usr/share/acl2-8.6+dfsg/acl2.lisp
  • /usr/share/acl2-8.6+dfsg/acl2r.lisp
  • /usr/share/acl2-8.6+dfsg/akcl-acl2-trace.lisp
  • /usr/share/acl2-8.6+dfsg/allegro-acl2-trace.lisp
  • /usr/share/acl2-8.6+dfsg/apply-constraints.lisp
  • /usr/share/acl2-8.6+dfsg/apply-prim.lisp
  • /usr/share/acl2-8.6+dfsg/apply-raw.lisp
  • /usr/share/acl2-8.6+dfsg/apply.lisp
  • /usr/share/acl2-8.6+dfsg/axioms.lisp
  • /usr/share/acl2-8.6+dfsg/basis-a.lisp
  • /usr/share/acl2-8.6+dfsg/basis-b.lisp
  • /usr/share/acl2-8.6+dfsg/bdd.lisp
  • /usr/share/acl2-8.6+dfsg/boot-strap-pass-2-a.lisp
  • /usr/share/acl2-8.6+dfsg/boot-strap-pass-2-b.lisp
  • /usr/share/acl2-8.6+dfsg/defpkgs.lisp
  • /usr/share/acl2-8.6+dfsg/defthm.lisp
  • /usr/share/acl2-8.6+dfsg/defuns.lisp
  • /usr/share/acl2-8.6+dfsg/doc.lisp
  • /usr/share/acl2-8.6+dfsg/float-a.lisp
  • /usr/share/acl2-8.6+dfsg/float-b.lisp
  • /usr/share/acl2-8.6+dfsg/float-raw.lisp
  • /usr/share/acl2-8.6+dfsg/futures-raw.lisp
  • /usr/share/acl2-8.6+dfsg/history-management.lisp
  • /usr/share/acl2-8.6+dfsg/hons-raw.lisp
  • /usr/share/acl2-8.6+dfsg/hons.lisp
  • /usr/share/acl2-8.6+dfsg/induct.lisp
  • /usr/share/acl2-8.6+dfsg/init.lisp
  • /usr/share/acl2-8.6+dfsg/interface-raw.lisp
  • /usr/share/acl2-8.6+dfsg/ld.lisp
  • /usr/share/acl2-8.6+dfsg/linear-a.lisp
  • /usr/share/acl2-8.6+dfsg/linear-b.lisp
  • /usr/share/acl2-8.6+dfsg/mcl-acl2-startup.lisp
  • /usr/share/acl2-8.6+dfsg/memoize-raw.lisp
  • /usr/share/acl2-8.6+dfsg/memoize.lisp
  • /usr/share/acl2-8.6+dfsg/multi-threading-raw.lisp
  • /usr/share/acl2-8.6+dfsg/non-linear.lisp
  • /usr/share/acl2-8.6+dfsg/openmcl-acl2-trace.lisp
  • /usr/share/acl2-8.6+dfsg/other-events.lisp
  • /usr/share/acl2-8.6+dfsg/other-processes.lisp
  • /usr/share/acl2-8.6+dfsg/parallel-raw.lisp
  • /usr/share/acl2-8.6+dfsg/parallel.lisp
  • /usr/share/acl2-8.6+dfsg/proof-builder-a.lisp
  • /usr/share/acl2-8.6+dfsg/proof-builder-b.lisp
  • /usr/share/acl2-8.6+dfsg/proof-builder-pkg.lisp
  • /usr/share/acl2-8.6+dfsg/prove.lisp
  • /usr/share/acl2-8.6+dfsg/rewrite.lisp
  • /usr/share/acl2-8.6+dfsg/serialize-raw.lisp
  • /usr/share/acl2-8.6+dfsg/serialize.lisp
  • /usr/share/acl2-8.6+dfsg/simplify.lisp
  • /usr/share/acl2-8.6+dfsg/tau.lisp
  • /usr/share/acl2-8.6+dfsg/translate.lisp
  • /usr/share/acl2-8.6+dfsg/type-set-a.lisp
  • /usr/share/acl2-8.6+dfsg/type-set-b.lisp
  • /usr/share/doc/acl2-source/changelog.Debian.gz
  • /usr/share/doc/acl2-source/copyright