acl2 7.4dfsg-2 source package in Debian
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 |
---|
Builds
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.