acl2 7.4dfsg-2 source package in Ubuntu
Changelog
acl2 (7.4dfsg-2) unstable; urgency=medium
* Set GCL_MULTIPROCESS_MEMORY_POOL for certifications
* build-dep latest gcl for mips64el fix
* Bug fix: "build fails on mips (mips-aql-05)", thanks to Héctor Orón
Martínez (Closes: #863224).
* mxgot .acl2 files patch
-- Camm Maguire <email address hidden> Sun, 28 May 2017 12:14:24 +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 |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| acl2_7.4dfsg-2.dsc | 2.2 KiB | 6dfcb6e750e997f6cc0412bea0e5afe75eaaccde48b0c93b8af19c801119856d |
| acl2_7.4dfsg.orig.tar.gz | 62.2 MiB | ed552f85afa580904a97fed43bb7d8bf3fe2dc15caadb4e308db0dfdc7bfe84b |
| acl2_7.4dfsg-2.debian.tar.xz | 200.1 KiB | 719ca088aa259693fd9cec7123ec42a2e6f57a98df84ae01180cc9a2eac4b739 |
Available diffs
- diff from 7.4dfsg-1 to 7.4dfsg-2 (1.8 KiB)
No changes file available.
Binary packages built by this source
- acl2: No summary available for acl2 in ubuntu artful.
No description available for acl2 in ubuntu artful.
- acl2-books: No summary available for acl2-books in ubuntu artful.
No description available for acl2-books in ubuntu artful.
- acl2-books-certs: No summary available for acl2-books-certs in ubuntu artful.
No description available for acl2-books-certs in ubuntu artful.
- acl2-books-source: No summary available for acl2-books-source in ubuntu artful.
No description available for acl2-books-source in ubuntu artful.
- acl2-doc: No summary available for acl2-doc in ubuntu artful.
No description available for acl2-doc in ubuntu artful.
- acl2-emacs: No summary available for acl2-emacs in ubuntu artful.
No description available for acl2-emacs in ubuntu artful.
- acl2-infix: No summary available for acl2-infix in ubuntu artful.
No description available for acl2-infix in ubuntu artful.
- acl2-infix-source: No summary available for acl2-infix-source in ubuntu artful.
No description available for acl2-infix-source in ubuntu artful.
- acl2-source: No summary available for acl2-source in ubuntu artful.
No description available for acl2-source in ubuntu artful.
