Filewatcher File Search File Search
Catalog
Content Search
» » » » »

acl2-books

Computational Logic for Applicative Common Lisp: compiled libraries

Variants:
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.

Homepage:-
Package version:4.3-3
Architecture:armel
Distribution:Debian
Filename:acl2-books_4.3-3_armel.deb

/usr/share/doc/acl2-books/changelog.Debian.gz

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
more»

/usr/share/doc/acl2-books/copyright

This package was debianized by Camm Maguire <camm@enhanced.com> on
Sat, 26 Oct 2002 11:58:58 -0400.

It was downloaded from ftp://ftp.cs.utexas.edu:/pub/moore/acl2/v2-8/

Upstream Authors: 

  Matt Kaufmann,kaufmann@cs.utexas.edu			                   (main program)
  J Strother Moore,moore@cs.utexas.edu                                     (main program)

  University of Texas at Austin            
more»

Browse inside acl2-books_4.3-3_armel.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download acl2-books_4.3-3_armel.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com