acl2 8.5dfsg-2 source package in Debian
Changelog
acl2 (8.5dfsg-2) unstable; urgency=medium * Bug fix: "FTBFS: make: *** [debian/rules:160: infix-stamp] Error 2", thanks to Lucas Nussbaum (Closes: #1026795). * build depend latest gcl * remove superfluous tex-common from build-deps -- Camm Maguire <email address hidden> Wed, 21 Dec 2022 10:43:39 -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-2.dsc | 2.2 KiB | 547d573ded4dd0967a976bf34bbc83ef313a6ffcf383a9c5b0734a065f04e6d3 |
| acl2_8.5dfsg.orig.tar.gz | 213.2 MiB | 6e9c7a3c75111429e8009369a28593aa91d84f668e7918980f33bd9996c1d819 |
| acl2_8.5dfsg-2.debian.tar.xz | 305.5 KiB | 69865d46fe26282938550d5ef9eb0f3c6fa34aabeda5d14e662b8c4733c71952 |
Available diffs
- diff from 8.5dfsg-1 to 8.5dfsg-2 (2.3 KiB)
No changes file available.
