acl2 6.3-6 source package in Ubuntu
Changelog
acl2 (6.3-6) unstable; urgency=low * rebuild against latest gcl -- Camm Maguire <email address hidden> Fri, 15 Nov 2013 16:11:57 +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 |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
acl2_6.3-6.dsc | 1.7 KiB | 83f003c190bfcae2c0b982137981f4c5c2926d9884efac3d2ef0ab0fcc770895 |
acl2_6.3.orig-books.tar.gz | 13.0 MiB | 29f9c5b1de6131695b01153f337bb107869e9ae0c1b506e46a3de9373bbd1bfa |
acl2_6.3.orig.tar.gz | 6.7 MiB | ee7ca85232c36068516e8852a5b31fcd8f38cb2596ce8d4d7934009e28400bb9 |
acl2_6.3-6.debian.tar.gz | 157.7 KiB | 5b79115d2eb08cc5c6ec167d7f2937c6125e104e644a6bce0190f5ebd7d65888 |
Available diffs
- diff from 6.3-5 to 6.3-6 (492 bytes)
No changes file available.