acl2 6.3-5 source package in Ubuntu
Changelog
acl2 (6.3-5) unstable; urgency=low * rebuild against latest gcl -- Camm Maguire <email address hidden> Fri, 18 Oct 2013 16:10:57 +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 | Published | Component | Section | |
---|---|---|---|---|
Trusty | release | universe | math |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
acl2_6.3-5.dsc | 1.7 KiB | fa96d454412549ed1e2658a47610872ead9174d3966a8cdef254defc3c164673 |
acl2_6.3.orig-books.tar.gz | 13.0 MiB | 29f9c5b1de6131695b01153f337bb107869e9ae0c1b506e46a3de9373bbd1bfa |
acl2_6.3.orig.tar.gz | 6.7 MiB | ee7ca85232c36068516e8852a5b31fcd8f38cb2596ce8d4d7934009e28400bb9 |
acl2_6.3-5.debian.tar.gz | 157.7 KiB | 7c3ee2b6bf1067ef6b75e09a82ebd2c6eb30fcc8ce0cbef5eed568801919a79d |
Available diffs
- diff from 6.2-6 to 6.3-5 (5.0 MiB)
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: 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 utopic.
No description available for acl2-books-source in ubuntu utopic.
- acl2-doc: No summary available for acl2-doc in ubuntu utopic.
No description available for acl2-doc in ubuntu utopic.
- 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 utopic.
No description available for acl2-infix in ubuntu utopic.
- acl2-infix-source: No summary available for acl2-infix-source in ubuntu utopic.
No description available for acl2-infix-source in ubuntu utopic.
- acl2-source: No summary available for acl2-source in ubuntu utopic.
No description available for acl2-source in ubuntu utopic.