acl2 4.1-5 source package in Debian
Changelog
acl2 (4.1-5) unstable; urgency=low * build depend on latest gcl * turn off si::*optimize-maximum-pages* in reverse-by-separation.acl2 * remove unnecessary patch from serialize-tests.lisp -- Camm Maguire <email address hidden> Fri, 05 Nov 2010 16:19:11 +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-5.dsc | 1.2 KiB | 946aec68cdde0765d0d3cf06fe331e9e9bb3352157bacb612ad9a2c0b644e7c7 |
| acl2_4.1.orig.tar.gz | 10.9 MiB | 5ff0cb73dd3c2a1c5ff339174799d4c0762fd2a6aff154f7982ac1758ee7bc21 |
| acl2_4.1-5.debian.tar.gz | 17.4 KiB | 6db41cab5bd190b3fdd930d5f56172499f10681ca52a72e85366666255c08428 |
No changes file available.
