acl2 8.2dfsg-1 source package in Debian
Changelog
acl2 (8.2dfsg-1) unstable; urgency=medium * New upstream release * build-dep latest gcl -- Camm Maguire <email address hidden> Thu, 19 Dec 2019 15:30:07 +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-1.dsc | 2.2 KiB | 2899df1e113405ede6cdb1992dd3ef24ad6151f32fd0d80c3b91bd02af553959 |
| acl2_8.2dfsg.orig.tar.gz | 76.9 MiB | 2548331764e904e00d654b5d703b6e0b43992a1716a40fd8f5ac322052cef987 |
| acl2_8.2dfsg-1.debian.tar.xz | 200.6 KiB | e8b192e473d8845e620305b9c597cd6be7396c8ae851c0e4066ef89c752a8922 |
Available diffs
- diff from 8.1dfsg-6 to 8.2dfsg-1 (5.2 MiB)
No changes file available.
