Ubuntu
acl2 package

acl2 6.2-6 source package in Ubuntu

Changelog

acl2 (6.2-6) unstable; urgency=low


  * fix elementary-bounders.acl2

 -- Camm Maguire <email address hidden>  Mon, 29 Jul 2013 18:54:53 +0000

Upload details

Uploaded by:
Camm Maguire
Uploaded to:
Sid
Original maintainer:
Camm Maguire
Architectures:
any all
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
acl2_6.2-6.dsc 1.7 KiB 9009b9da4d15dca345b60a5eb1a5fcc0a000c1bb27addfdcfc8d67ada5675f03
acl2_6.2.orig-books.tar.gz 10.8 MiB 8a6fbfa491dfb9ef129b4f6c4e3d7da7cffe434da111c69ec63b98b3bc8af8a1
acl2_6.2.orig.tar.gz 6.6 MiB b28073994b1eb36f8f0c0da92c4107b0fc63643d74436c3bbe6f9316e87a6ba3
acl2_6.2-6.debian.tar.gz 156.9 KiB 8c51472957287303d2f53c6079c300beea6cf15d346f7b68df50cf414da1f121

Available diffs

No changes file available.

Binary packages built by this source

acl2: Computational Logic for Applicative Common Lisp: main binary

 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.

acl2-books: Computational Logic for Applicative Common Lisp: compiled libraries

 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 numerous precompiled and precertified libraries
 for use in proving theorems with ACL2. Serious users will no doubt
 want to install this package.

acl2-books-certs: No summary available for acl2-books-certs in ubuntu saucy.

No description available for acl2-books-certs in ubuntu saucy.

acl2-books-source: No summary available for acl2-books-source in ubuntu saucy.

No description available for acl2-books-source in ubuntu saucy.

acl2-doc: No summary available for acl2-doc in ubuntu saucy.

No description available for acl2-doc in ubuntu saucy.

acl2-emacs: Computational Logic for Applicative Common Lisp: emacs interface

 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 an emacs interface to ACL2.

acl2-infix: No summary available for acl2-infix in ubuntu saucy.

No description available for acl2-infix in ubuntu saucy.

acl2-infix-source: No summary available for acl2-infix-source in ubuntu saucy.

No description available for acl2-infix-source in ubuntu saucy.

acl2-source: Computational Logic for Applicative Common Lisp: source files

 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 lisp source files to the main ACL2 binary.