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

acl2-infix-source

A Computational Logic for Applicative Common Lisp: infix source

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 source files to the infix interface to ACL2.

Homepage:-
Package version:4.0-3
Architecture:all
Distribution:Debian
Filename:acl2-infix-source_4.0-3_all.deb

/usr/share/doc/acl2-infix-source/changelog.Debian.gz

acl2 (4.0-3) unstable; urgency=low

  * compile nats to avoid invocation stack overflow on #-native-reloc
    machines

 -- Camm Maguire <camm@debian.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 <camm@debian.org>  Thu, 08 Jul 2010 16:14:04 +0000

acl2 (4.0-1) unstable; urgency=low

  * New upstr
more»

/usr/share/doc/acl2-infix-source/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-source_4.0-3_all.deb

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

Download acl2-infix-source_4.0-3_all.deb

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