acl2 3.1-1 source package in Debian
Changelog
acl2 (3.1-1) unstable; urgency=low * New upstream release -- Camm Maguire <email address hidden> Mon, 4 Dec 2006 10:35:42 -0500
Upload details
- Uploaded by:
- Camm Maguire
- Uploaded to:
- Lenny
- 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.1-1.dsc | 822 bytes | 02201670a2881ecba0e0b6e07e4f85f6353858abb0058f799b4569810deaec1c |
acl2_3.1.orig.tar.gz | 6.4 MiB | 4875d96e2d7ee6ff505ab22c8da73535f2ad424aff3e89c3b72b3b8e95f1f10e |
acl2_3.1-1.diff.gz | 13.0 KiB | df25f816094854a2175606ebeb8e568d1199910178fa01ef072d4ccf138d3284 |
No changes file available.