acl2 3.6-1 source package in Debian
Changelog
acl2 (3.6-1) unstable; urgency=low
* New upstream release
[ Camm Maguire ]
* Bug fix: "replacing libreadline5-dev build dependency with
libreadline-dev", thanks to Matthias Klose (Closes: #553715).
-- Camm Maguire <email address hidden> Tue, 15 Dec 2009 03:53:25 +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-1.dsc | 1.1 KiB | ef889b9ecafcae60b8f1a0d10a18c6ca2bcb505d2bd87a8adb132ee0c871c233 |
| acl2_3.6.orig.tar.gz | 10.0 MiB | b6b57684f960ff40eb987b1456433a2f82f6f905b9b01e3f7fdb3553f7c172b3 |
| acl2_3.6-1.diff.gz | 13.6 KiB | 17c830d176ba0611f333240dcb125205f34e92f25bc4a835ca55f1001f46c3a5 |
No changes file available.
