Computational Logic for Applicative Common Lisp: main binary
ACL2 is both a programming language in which you can model computer
systems and a tool to help you prove properties of those models.
This package contains the base ACL2 binary.
ACL2 for Debian
This is a binary distribution of ACL2, as opposed to ACL2(r), the
modification of the former to use certain non-standard analyses in the
The ACL2 homepage points to two related packages which are not (yet)
included in Debian -- the 'workshops' and 'nonstd' packages. Users
who wish to compile these sources are advised to retrieve and build
the Debian sourc
acl2 - A Computational Logic
This manual page documents briefly the acl2 command. This
manual page was written for the Debian GNU/Linux distribution
because the original program does not have a manual page.
Instead, it has documentation in the G
acl2 (4.3-3) unstable; urgency=low
* Bug fix: "unowned file /usr/local/share/texmf/ls-R after purge (policy
6.8, 9.1.2)", thanks to Andreas Beckmann (Closes: #669380).
* Bug fix: "FTBFS: | /«PKGBUILDDIR»/books/tools/defsum.c:7456:5: error:
expected expression before ')' token", thanks to Lucas
Nussbaum (Closes: #669442). Build-dep on latest gcl
-- Camm Maguire <camm@d
This package was debianized by Camm Maguire <email@example.com> on
Sat, 26 Oct 2002 11:58:58 -0400.
Browse inside acl2_4.3-3_armel.deb
Results 1 - 1 of 1Search over 15 billion files
© 1997-2017 FileWatcher.com