acl2 6.4-1 source package in Debian
Changelog
acl2 (6.4-1) unstable; urgency=low * New upstream release -- Camm Maguire <email address hidden> Mon, 13 Jan 2014 16:14:44 +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.4-1.dsc | 1.8 KiB | 86047551ebf27e7cafe1e4d90be87dc1e9b08669319c0cad5e0044a5ff6587cc |
acl2_6.4.orig-books.tar.gz | 13.5 MiB | bc3170a698505a1465b7cd2d18bf0b03a89c25d23cd0196037ef80ff4e8474aa |
acl2_6.4.orig.tar.gz | 5.8 MiB | 4c274c934a03fe24af29d284b5b230c3a477602d1272cfd95977c8765cf6c8b2 |
acl2_6.4-1.debian.tar.xz | 123.4 KiB | 99a656bff500c40cf6af7aa7fcd394d6e754b539d1f1bd9568a5867346330e6a |
Available diffs
- diff from 6.3-6 to 6.4-1 (13.8 MiB)
No changes file available.