acl2 6.1-5 source package in Debian
Changelog
acl2 (6.1-5) unstable; urgency=low * reinstate skipped books and build depend on latest gcl -- Camm Maguire <email address hidden> Fri, 21 Jun 2013 23:14:46 +0000
Upload details
- Uploaded by:
- Camm Maguire
- Uploaded to:
- Sid
- Original maintainer:
- Camm Maguire
- Architectures:
- any all
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Builds
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| acl2_6.1-5.dsc | 1.7 KiB | c161ba19648d9e48efd7f608b43846bac583f0a8550cb73cee7f29e895763706 |
| acl2_6.1.orig-books.tar.gz | 10.6 MiB | 6ed80eb4197dde8d851eb719cee70dfb9f054f8e19ff9cd7ef8cb282d5aa9df1 |
| acl2_6.1.orig.tar.gz | 6.5 MiB | a717e9a79a8606d44b5b11696fce2134e62dc63a052a779806245aac6b33c075 |
| acl2_6.1-5.debian.tar.gz | 156.0 KiB | 1b09d5fb1276cf3b7d1d946c10531d4077795e7d00cd30172d9397d5b59dfc0f |
Available diffs
- diff from 6.1-3 to 6.1-5 (1.1 KiB)
No changes file available.
