acl2 4.3-1 source package in Debian
Changelog
acl2 (4.3-1) unstable; urgency=low * New upstream release -- Camm Maguire <email address hidden> Mon, 09 Jan 2012 21:41:00 +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_4.3-1.dsc | 1.4 KiB | be341c7d76d4193bb7011c2fd57f32dbd03abacc3c32f93a01a2a4c79f08a3a3 |
| acl2_4.3.orig.tar.gz | 14.5 MiB | da26affd74ea716e68262d8bd71489a365f937b6abdfca07fc77614c0c003a1d |
| acl2_4.3-1.debian.tar.gz | 17.3 KiB | fb4b8861ce5ad292863e07453bfeca42fbce00b3e604161e4ec9af0cb87a7199 |
No changes file available.
