acl2 6.2-4 source package in Ubuntu
Changelog
acl2 (6.2-4) unstable; urgency=low * build-dep against latest gcl -- Camm Maguire <email address hidden> Tue, 23 Jul 2013 18:11:51 +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-4.dsc | 1.7 KiB | 1f65a66720ea5be8a0797b6f43f667114e3fa86b4de019466f65f9ee70b8da53 |
| acl2_6.2.orig-books.tar.gz | 10.8 MiB | 8a6fbfa491dfb9ef129b4f6c4e3d7da7cffe434da111c69ec63b98b3bc8af8a1 |
| acl2_6.2.orig.tar.gz | 6.6 MiB | b28073994b1eb36f8f0c0da92c4107b0fc63643d74436c3bbe6f9316e87a6ba3 |
| acl2_6.2-4.debian.tar.gz | 156.6 KiB | 3048b6eb97104606690f8b05f2588e944fb889792420f8943ee6090c31f26c86 |
Available diffs
- diff from 6.2-3 to 6.2-4 (484 bytes)
No changes file available.
Binary packages built by this source
- acl2: No summary available for acl2 in ubuntu saucy.
No description available for acl2 in ubuntu saucy.
- acl2-books: No summary available for acl2-books in ubuntu saucy.
No description available for acl2-books in ubuntu saucy.
- 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: No summary available for acl2-emacs in ubuntu saucy.
No description available for acl2-emacs in ubuntu saucy.
- 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: No summary available for acl2-source in ubuntu saucy.
No description available for acl2-source in ubuntu saucy.
