acl2 8.1dfsg-5 source package in Debian
Changelog
acl2 (8.1dfsg-5) unstable; urgency=medium
* build-dep gcl ( >= 2.6.12-89)
* Bug fix: "acl2 - FTBFS on ppc64el - invalid Unknown reloc type 31",
thanks to <email address hidden></a>; (Closes: #944222).
-- Camm Maguire <email address hidden> Sun, 08 Dec 2019 15:13:52 +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-5.dsc | 2.2 KiB | 3537654ec77bd8b04f8160b74f22b4200293a3125a31e7c3fa2e8357d5820482 |
| acl2_8.1dfsg.orig.tar.gz | 75.3 MiB | 24ae60c24ca40ae7fc92db567e58fdb717a7f4d235fea51286a9301a7d91003d |
| acl2_8.1dfsg-5.debian.tar.xz | 200.5 KiB | c78b064e48bb9d6d35f6f5af2b962947f1d59e48894c0c3349271efb48946344 |
Available diffs
- diff from 8.1dfsg-4 to 8.1dfsg-5 (586 bytes)
No changes file available.
