acl2 3.6.1-1 source package in Debian
Changelog
acl2 (3.6.1-1) unstable; urgency=low * New upstream release -- Camm Maguire <email address hidden> Sun, 06 Jun 2010 19:58:55 +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_3.6.1-1.dsc | 1.2 KiB | df4084897066e4d4b98ed9519f7a98c54e8bc3801f359660a3b5a524186f3c27 |
acl2_3.6.1.orig.tar.gz | 10.0 MiB | d10ecb2123fb8142d8f1869561d55b50c978088bb044b3b5ec429673172811de |
acl2_3.6.1-1.diff.gz | 14.8 KiB | cb8e6c7c6236f215bee8e48fc1588c03e2da44d3505b02018cf73551eeadfbd6 |
No changes file available.