A 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.0-3) unstable; urgency=low
* compile nats to avoid invocation stack overflow on #-native-reloc
-- Camm Maguire <firstname.lastname@example.org> Fri, 09 Jul 2010 13:00:12 +0000
acl2 (4.0-2) unstable; urgency=low
* Work around absence of HOME in buildd environments.
-- Camm Maguire <email@example.com> Thu, 08 Jul 2010 16:14:04 +0000
acl2 (4.0-1) unstable; urgency=low
* New upstr
This package was debianized by Camm Maguire <firstname.lastname@example.org> on
Sat, 26 Oct 2002 11:58:58 -0400.
Browse inside acl2_4.0-3_amd64.deb
Results 1 - 1 of 1Search over 15 billion files
© 1997-2017 FileWatcher.com