acl2 4.2-1 source package in Debian
Changelog
acl2 (4.2-1) unstable; urgency=low * New upstream release -- Camm Maguire <email address hidden> Fri, 13 May 2011 13:14:39 +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_4.2-1.dsc | 1.2 KiB | 99902c1fc4d88e02e45f99ee22266bb460cef53e408e2c2b6c1cc2eaaaa13600 |
acl2_4.2.orig.tar.gz | 11.2 MiB | 0f727b44257640346dc6eecc046f339b171676e79c31883535281e61bbfca077 |
acl2_4.2-1.debian.tar.gz | 17.5 KiB | ea139a208950bc60d7237ae8d1138af14951d2e63239a7d82dadaefadf6efb6c |
No changes file available.