acl2 8.1dfsg-2 source package in Debian
Changelog
acl2 (8.1dfsg-2) unstable; urgency=medium * Limit number of jobs on memory restricted machines * Build-dep latest gcl * latest standards * Bug fix: "Hangs, defeats hang detections", thanks to Christoph Egger (Closes: #864877). -- Camm Maguire <email address hidden> Fri, 29 Mar 2019 13:39:10 +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.1dfsg-2.dsc | 2.2 KiB | 27dcc40536a0956b5ce3b036eaf12a87a4b13bed73e88378eedcc539c0bad78a |
acl2_8.1dfsg.orig.tar.gz | 75.3 MiB | 24ae60c24ca40ae7fc92db567e58fdb717a7f4d235fea51286a9301a7d91003d |
acl2_8.1dfsg-2.debian.tar.xz | 200.3 KiB | 88fbf598d5d0479d90efa1b52bf7537905ca6d20b6b9357641d78acff80c6306 |
No changes file available.