acl2 6.1-2 source package in Debian
Changelog
acl2 (6.1-2) unstable; urgency=low * skip elementary-bounders.lisp certification, which takes too much memory -- Camm Maguire <email address hidden> Tue, 21 May 2013 17:15:51 +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-2.dsc | 1.7 KiB | e95841b0d9d81c700f4e1ef427d394af2c005208eb744de25fd0d968286666c8 |
| acl2_6.1.orig-books.tar.gz | 10.6 MiB | 6ed80eb4197dde8d851eb719cee70dfb9f054f8e19ff9cd7ef8cb282d5aa9df1 |
| acl2_6.1.orig.tar.gz | 6.5 MiB | a717e9a79a8606d44b5b11696fce2134e62dc63a052a779806245aac6b33c075 |
| acl2_6.1-2.debian.tar.gz | 156.1 KiB | d88a05664508537bc80f325dfbdd88b84af38966e37e195d6607b4688dfedac6 |
Available diffs
- diff from 6.1-1 to 6.1-2 (550 bytes)
No changes file available.
