Computational Logic for Applicative Common Lisp: compiled libraries
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 numerous precompiled and precertified libraries
for use in proving theorems with ACL2. Serious users will no doubt
want to install this package.
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.
It was downloaded from ftp://ftp.cs.utexas.edu:/pub/moore/acl2/v2-8/
Matt Kaufmann,firstname.lastname@example.org (main program)
J Strother Moore,email@example.com (main program)
University of Texas at Austin
Browse inside acl2-books_4.3-3_ia64.deb
Results 1 - 1 of 1Search over 15 billion files
© 1997-2017 FileWatcher.com