acl2 6.1-1 source package in Debian
Changelog
acl2 (6.1-1) unstable; urgency=low * New upstream release -- Camm Maguire <email address hidden> Tue, 23 Apr 2013 14:52:39 +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.1-1.dsc | 1.7 KiB | 94fda2c3ef02a2f30f39a8a0453a2bb78604ffd0a05654ebd5dcf55fe17079e2 |
acl2_6.1.orig-books.tar.gz | 10.6 MiB | 6ed80eb4197dde8d851eb719cee70dfb9f054f8e19ff9cd7ef8cb282d5aa9df1 |
acl2_6.1.orig.tar.gz | 6.5 MiB | a717e9a79a8606d44b5b11696fce2134e62dc63a052a779806245aac6b33c075 |
acl2_6.1-1.debian.tar.gz | 155.9 KiB | 90ddb64d7762d5b0cac8819b8ac18f8a936983320be7bc927d3d4980cb8adef0 |
No changes file available.