acl2 3.6-4 source package in Debian
Changelog
acl2 (3.6-4) unstable; urgency=low
* Bug fix: "FTBFS [hppa] - **CERTIFICATION FAILED** for ram2b.lisp",
thanks to dann frazier (Closes: #564247).
-- Camm Maguire <email address hidden> Mon, 11 Jan 2010 17:44:36 +0000
Upload details
- Uploaded by:
- Camm Maguire
- Uploaded to:
- Sid
- Original maintainer:
- Camm Maguire
- Architectures:
- any
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Builds
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| acl2_3.6-4.dsc | 1.1 KiB | 74303daf9d6aab9c864816fdad352fd9391bd74132a4a2a6a7f8a4ff427ab3bf |
| acl2_3.6.orig.tar.gz | 10.0 MiB | b6b57684f960ff40eb987b1456433a2f82f6f905b9b01e3f7fdb3553f7c172b3 |
| acl2_3.6-4.diff.gz | 14.8 KiB | b20c24de8a5b5590870d64479ad1a50465aede8082a43e0376b0a5351e95e4ff |
No changes file available.
