acl2 7.1-1 source package in Ubuntu
Changelog
acl2 (7.1-1) unstable; urgency=medium * New upstream release * build-dep latest gcl -- Camm Maguire <email address hidden> Fri, 29 May 2015 14:33:46 +0000
Upload details
- Uploaded by:
- Camm Maguire
- Uploaded to:
- Sid
- Original maintainer:
- Camm Maguire
- Architectures:
- any all
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Xenial | release | universe | math |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
acl2_7.1-1.dsc | 2.2 KiB | 9559c9a8e9ea4662fca9b0849716b9c590ded5ce115d0bedb57715591b433a0f |
acl2_7.1.orig.tar.gz | 60.4 MiB | 4b17ee4c3bbb554fd6e51009f91899904a61cee88a29613b5886f51637d9ac4e |
acl2_7.1-1.debian.tar.xz | 125.9 KiB | 70bf0f764c93a5230141ffcab41a3c2c30dea25b92bd8ccb4fae1a2a4ad3c940 |
Available diffs
- diff from 7.0-1 to 7.1-1 (5.4 MiB)
No changes file available.
Binary packages built by this source
- acl2: No summary available for acl2 in ubuntu wily.
No description available for acl2 in ubuntu wily.
- 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 yakkety.
No description available for acl2-books-certs in ubuntu yakkety.
- acl2-books-source: No summary available for acl2-books-source in ubuntu wily.
No description available for acl2-books-source in ubuntu wily.
- acl2-doc: Computational Logic for Applicative Common Lisp: documentation
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 documentation for ACL2.
- acl2-emacs: No summary available for acl2-emacs in ubuntu wily.
No description available for acl2-emacs in ubuntu wily.
- acl2-infix: No summary available for acl2-infix in ubuntu yakkety.
No description available for acl2-infix in ubuntu yakkety.
- acl2-infix-source: No summary available for acl2-infix-source in ubuntu wily.
No description available for acl2-infix-source in ubuntu wily.
- acl2-source: No summary available for acl2-source in ubuntu wily.
No description available for acl2-source in ubuntu wily.