acl2 6.1-3 source package in Debian
Changelog
acl2 (6.1-3) unstable; urgency=low * skip books/centaur/defrstobj/basic-tests.lisp, which takes too much memory -- Camm Maguire <email address hidden> Thu, 23 May 2013 13:20:29 +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_6.1-3.dsc | 1.7 KiB | e801cccace349d5464002a17d0c8906e6b282f1bd8b9bf94e7eb2d31d589a249 |
acl2_6.1.orig-books.tar.gz | 10.6 MiB | 6ed80eb4197dde8d851eb719cee70dfb9f054f8e19ff9cd7ef8cb282d5aa9df1 |
acl2_6.1.orig.tar.gz | 6.5 MiB | a717e9a79a8606d44b5b11696fce2134e62dc63a052a779806245aac6b33c075 |
acl2_6.1-3.debian.tar.gz | 156.0 KiB | ebef7d8a5629225bfad11e9fa5f6d1183000e5a28dad1a13eeb12bee2c7e1560 |
Available diffs
- diff from 6.1-2 to 6.1-3 (793 bytes)
No changes file available.