acl2 7.0-1 source package in Debian
Changelog
acl2 (7.0-1) unstable; urgency=medium * New upstream release -- Camm Maguire <email address hidden> Fri, 16 Jan 2015 10:35:45 -0500
Upload details
- Uploaded by:
- Camm Maguire
- Uploaded to:
- Sid
- Original maintainer:
- Camm Maguire
- Architectures:
- any all
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
acl2_7.0-1.dsc | 2.2 KiB | 69dbc4a6e30549f1576d27cd1c5f6d030ad6753bc4fb9c0f75b0807da93675d3 |
acl2_7.0.orig.tar.gz | 55.6 MiB | dbbe63ddbe342072fa0504e05f9e02fb01bb654b6befcc1e34ba7ceab2b1e0eb |
acl2_7.0-1.debian.tar.xz | 125.8 KiB | f4942184c3c1a5ffaf23e5ecdb5b71100599423e41627886159bc71eee75b946 |
Available diffs
- diff from 6.5-5 to 7.0-1 (8.5 MiB)
No changes file available.