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
- Uploaded to:
- Oneiric
- Original maintainer:
- Camm Maguire
- Architectures:
- any
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Precise | release | 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
- diff from 4.1-5 to 4.2-1 (1.4 MiB)
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 quantal.
No description available for acl2-books in ubuntu quantal.
- acl2-books-certs: A Computational Logic for Applicative Common Lisp: library certificates
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 file contains certification records for the various precompiled
libraries supplied in the ACL2-books package. ACL2 essentially
requires that all included books be certified before use.
- acl2-books-source: No summary available for acl2-books-source in ubuntu oneiric.
No description available for acl2-books-source in ubuntu oneiric.
- acl2-doc: No summary available for acl2-doc in ubuntu quantal.
No description available for acl2-doc in ubuntu quantal.
- acl2-emacs: No summary available for acl2-emacs in ubuntu oneiric.
No description available for acl2-emacs in ubuntu oneiric.
- 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 quantal.
No description available for acl2-infix-source in ubuntu quantal.
- acl2-source: No summary available for acl2-source in ubuntu quantal.
No description available for acl2-source in ubuntu quantal.
