acl2 8.5dfsg-3 source package in Debian
Changelog
acl2 (8.5dfsg-3) unstable; urgency=medium * build depend latest gcl -- Camm Maguire <email address hidden> Sun, 25 Dec 2022 18:10:20 -0500
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.5dfsg-3.dsc | 2.2 KiB | dd2dce9e8a56ce3370a2c7aa3c7d356f7c07174a71864cac347cd31b1bdab411 |
| acl2_8.5dfsg.orig.tar.gz | 213.2 MiB | 6e9c7a3c75111429e8009369a28593aa91d84f668e7918980f33bd9996c1d819 |
| acl2_8.5dfsg-3.debian.tar.xz | 305.5 KiB | 2cfbdf5150c8ccea338b9f26571d9fc4ca299a76643e5f054d8ac03e8de114d8 |
Available diffs
- diff from 8.5dfsg-2 to 8.5dfsg-3 (566 bytes)
No changes file available.
