acl2 4.1-4 source package in Debian
Changelog
acl2 (4.1-4) unstable; urgency=low * build dep on latest gcl -- Camm Maguire <email address hidden> Wed, 27 Oct 2010 20:47:24 +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.1-4.dsc | 1.2 KiB | fea8d94fa1c994b4c2ed15a185a6b302dcf1a929f08a7cb4f12f2141be1691bf |
acl2_4.1.orig.tar.gz | 10.9 MiB | 5ff0cb73dd3c2a1c5ff339174799d4c0762fd2a6aff154f7982ac1758ee7bc21 |
acl2_4.1-4.debian.tar.gz | 17.2 KiB | 80cb155d9f038d808fcecf256b57ecd2b29700869694fffc5ebd3eae80f40032 |
No changes file available.