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

acl2-infix

Computational Logic for Applicative Common Lisp: infix interface

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 utilities and libraries to access ACL2 via an infix notation similar to that used in many non-lisp programming languages.

Homepage:-
Package version:4.3-3
Architecture:s390x
Distribution:Debian
Filename:acl2-infix_4.3-3_s390x.deb

/usr/share/doc/acl2-infix/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-infix/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-infix_4.3-3_s390x.deb

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

Download acl2-infix_4.3-3_s390x.deb

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