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

acl2_5.0-1.debian.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Debian
Filename:acl2_5.0-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 (5.0-1) unstable; urgency=low

  * New upstream release
  * books retrieved separately from http://acl2-books.googlecode.com/files/books-5.0.tar.gz
  * Bug fix: "Should build-depend on emacs23 | emacs24", thanks to
    svante.signell@telia.com</a>; (Closes: #682719).

 -- Camm Maguire <camm@debian.org>  Fri, 24 Aug 2012 18:45:28 +0000

acl2 (4.3-3) unstable; urgency=low

  * Bug fix: "unowned
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_5.0-1.debian.tar.gz

         [DIR]debian/ (26)  28440+ mirrors

Download acl2_5.0-1.debian.tar.gz

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