acl2 4.0-1 source package in Debian
Changelog
acl2 (4.0-1) unstable; urgency=low * New upstream release -- Camm Maguire <email address hidden> Wed, 07 Jul 2010 21:49:46 +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_4.0-1.dsc | 1.1 KiB | b54caec06eac37790b520d240b174a0321f4111ccadd6c41c416e4a7da3a82ba |
| acl2_4.0.orig.tar.gz | 10.9 MiB | 2410c0d55e687db999a3467427a43a28eafbced0340751f6c401ba4deda64880 |
| acl2_4.0-1.diff.gz | 15.3 KiB | ca1277bff87479ea0e98632b41513f8901e3f7c0d32222f8859dedbf24b23b3d |
No changes file available.
