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 | 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
- diff from 6.0-2 to 6.2-6 (4.5 MiB)
- diff from 6.2-5 to 6.2-6 (1.0 KiB)
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.