acl2 8.1dfsg-3 source package in Debian
Changelog
acl2 (8.1dfsg-3) unstable; urgency=medium * Bug fix: "excessive build time on 32-bit architectures", thanks to Aurelien Jarno (Closes: #926121). -- Camm Maguire <email address hidden> Wed, 03 Apr 2019 13:47:29 +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-3.dsc | 2.2 KiB | 13aa87172d96106e53f0e90e56bcd27834aa1ac0d1f6a1fb21a57dab8ea705c2 |
acl2_8.1dfsg.orig.tar.gz | 75.3 MiB | 24ae60c24ca40ae7fc92db567e58fdb717a7f4d235fea51286a9301a7d91003d |
acl2_8.1dfsg-3.debian.tar.xz | 200.3 KiB | 36d12fa447d348b8b5a0bcb76f85acd6a39a8302c9e10ef880751baa3ad6c0b0 |
Available diffs
No changes file available.