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

acl2_4.2-1.debian.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Ubuntu
Filename:acl2_4.2-1.debian.tar.gz

/debian/README.Debian.in

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
source.

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

/debian/changelog

acl2 (4.2-1) unstable; urgency=low

  * New upstream release

 -- Camm Maguire <camm@debian.org>  Fri, 13 May 2011 13:14:39 +0000

acl2 (4.1-5) unstable; urgency=low

  * build depend on latest gcl
  * turn off si::*optimize-maximum-pages* in reverse-by-separation.acl2
  * remove unnecessary patch from serialize-tests.lisp

 -- Camm Maguire <camm@debian.org>  Fri, 05 Nov 2010 16:19:11 +0000

acl2 
more»

/debian/TODO

nonstd books
workshop books

/debian/copyright

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

more»

Browse inside acl2_4.2-1.debian.tar.gz

         [DIR]debian/ (26)  28440+ mirrors

Download acl2_4.2-1.debian.tar.gz

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