acl2 4.0-2 source package in Debian
Changelog
acl2 (4.0-2) unstable; urgency=low * Work around absence of HOME in buildd environments. -- Camm Maguire <email address hidden> Thu, 08 Jul 2010 16:14:04 +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-2.dsc | 1.1 KiB | 02fb4ce5d236702fd9f5c3a35aea8b36d67a955b6d1989b4367afab7f4b24b91 |
acl2_4.0.orig.tar.gz | 10.9 MiB | 2410c0d55e687db999a3467427a43a28eafbced0340751f6c401ba4deda64880 |
acl2_4.0-2.diff.gz | 15.3 KiB | ebbef55bdc147eb4db950abbb34c008e4164975827564c086b4402c0a5cc363a |
No changes file available.