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

acl2

A 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.0-3
Architecture:i386
Distribution:Debian
Filename:acl2_4.0-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.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/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.0-3_i386.deb

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

Download acl2_4.0-3_i386.deb

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