acl2 6.5-1 source package in Debian
Changelog
acl2 (6.5-1) unstable; urgency=low * New upstream release -- Camm Maguire <email address hidden> Tue, 05 Aug 2014 16:04:06 +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.5-1.dsc | 1.8 KiB | 9b327d1c585e45c698a6bfe39463f38817302308bd4fabf0b8215a41c922838f |
acl2_6.5.orig-books.tar.gz | 14.3 MiB | bb1b95a06f2e946f9610d7221bb97eb1be126a64cb01ef85efa69fafe9454c34 |
acl2_6.5.orig.tar.gz | 5.9 MiB | cf8c1c81a68429d1d77d6e23c9a84cbd0ec9e270f21aa04d00bafa761f656ea6 |
acl2_6.5-1.debian.tar.xz | 125.2 KiB | 7b99cf93c607f7f98c30b9a7b31bd118ff267b0f43e16ad2dcf3125c0728a23d |
No changes file available.