acl2 8.2dfsg-2 source package in Debian
Changelog
acl2 (8.2dfsg-2) unstable; urgency=medium
* Temporarily set GCL_MEM_MULTIPLE to 0.75 in saved_acl2 build to
workaround gcc oom issues
-- Camm Maguire <email address hidden> Thu, 26 Dec 2019 20:47:09 +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_8.2dfsg-2.dsc | 2.2 KiB | b804e907d2baf41a61553d11d7f4b9d6044cf1b262a4b51e11e01e57c1c5a236 |
| acl2_8.2dfsg.orig.tar.gz | 76.9 MiB | 2548331764e904e00d654b5d703b6e0b43992a1716a40fd8f5ac322052cef987 |
| acl2_8.2dfsg-2.debian.tar.xz | 200.7 KiB | 96136facb5f184d531d843224585c2052802ad3ccf213ecfbb5644b53914bfb2 |
Available diffs
- diff from 8.2dfsg-1 to 8.2dfsg-2 (757 bytes)
No changes file available.
