acl2 6.2-7 source package in Debian
Changelog
acl2 (6.2-7) unstable; urgency=low * build-dep against latest gcl * again allow optimize-maximum-pages in elementary-bounders.acl2 -- Camm Maguire <email address hidden> Tue, 06 Aug 2013 11:30:55 +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.2-7.dsc | 1.7 KiB | 50bf758e16287dcf476274c33f9676091f3a75f86901c1e6dd6725a091e28880 |
| acl2_6.2.orig-books.tar.gz | 10.8 MiB | 8a6fbfa491dfb9ef129b4f6c4e3d7da7cffe434da111c69ec63b98b3bc8af8a1 |
| acl2_6.2.orig.tar.gz | 6.6 MiB | b28073994b1eb36f8f0c0da92c4107b0fc63643d74436c3bbe6f9316e87a6ba3 |
| acl2_6.2-7.debian.tar.gz | 157.0 KiB | bcaa687ef68d223ed7ee3ec904ac4c1fd8c05228bb2531c8665ec9143303c233 |
No changes file available.
