acl2 4.2-1 source package in Ubuntu

Changelog

acl2 (4.2-1) unstable; urgency=low

  * New upstream release
 -- Ubuntu Archive Auto-Sync <email address hidden>   Sun,  15 May 2011 07:33:34 +0000

Upload details

Uploaded by:
Ubuntu Archive Auto-Sync on 2011-05-15
Uploaded to:
Oneiric
Original maintainer:
Camm Maguire
Architectures:
any
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Precise release on 2011-10-13 universe math

Downloads

File Size SHA-256 Checksum
acl2_4.2.orig.tar.gz 11.2 MiB 0f727b44257640346dc6eecc046f339b171676e79c31883535281e61bbfca077
acl2_4.2-1.debian.tar.gz 17.5 KiB ea139a208950bc60d7237ae8d1138af14951d2e63239a7d82dadaefadf6efb6c
acl2_4.2-1.dsc 1.2 KiB 99902c1fc4d88e02e45f99ee22266bb460cef53e408e2c2b6c1cc2eaaaa13600

Available diffs

View changes file

Binary packages built by this source

acl2: No summary available for acl2 in ubuntu quantal.

No description available for acl2 in ubuntu quantal.

acl2-books: No summary available for acl2-books in ubuntu oneiric.

No description available for acl2-books in ubuntu oneiric.

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

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

acl2-books-source: A Computational Logic for Applicative Common Lisp: library sources

 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 source lisp files to the compiled libraries
 supplied in the ACL2-books package.

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

No description available for acl2-doc in ubuntu oneiric.

acl2-emacs: A 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: A Computational Logic for Applicative Common Lisp: infix 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 utilities and libraries to access ACL2 via an
 infix notation similar to that used in many non-lisp programming
 languages.

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

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

acl2-source: No summary available for acl2-source in ubuntu oneiric.

No description available for acl2-source in ubuntu oneiric.