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

acl2

Computational Logic for Applicative Common Lisp: main binary

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 the base ACL2 binary.

Homepage:-
Package version:4.3-3
Architecture:i386
Distribution:Debian
Filename:acl2_4.3-3_i386.deb

/usr/share/doc/acl2/README.Debian.gz

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»

/usr/share/man/man1/acl2.1.gz

ACL2(1)                                                      ACL2(1)



NAME
       acl2 - A Computational Logic

SYNOPSIS
       acl2

DESCRIPTION
       This  manual  page  documents briefly the acl2 command.  This
       manual page was written for the Debian GNU/Linux distribution
       because  the  original  program  does not have a manual page.
       Instead, it has documentation in the G
more»

/usr/share/doc/acl2/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/TODO.Debian

nonstd books
workshop books

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

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

Download acl2_4.3-3_i386.deb

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