acl2 6.4-2 source package in Debian
Changelog
acl2 (6.4-2) unstable; urgency=low
* certify-books run with -j 8 -l 2.95
* Bug fix: "Process running beyond build (missing escape in
debian/rules)", thanks to Michael Tautschnig (Closes: #746203).
* build-dep latest gcl
-- Camm Maguire <email address hidden> Wed, 07 May 2014 18:31:48 +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.4-2.dsc | 1.8 KiB | 4919e2c8f2657e1d66c2e3a597a91a60bc772926a16b0e51a4585494c5930d44 |
| acl2_6.4.orig-books.tar.gz | 13.5 MiB | bc3170a698505a1465b7cd2d18bf0b03a89c25d23cd0196037ef80ff4e8474aa |
| acl2_6.4.orig.tar.gz | 5.8 MiB | 4c274c934a03fe24af29d284b5b230c3a477602d1272cfd95977c8765cf6c8b2 |
| acl2_6.4-2.debian.tar.xz | 123.5 KiB | c67db2e4bebdaabc19e4be36e658d492fad71c583c1270ff158ebe41b4e35946 |
Available diffs
- diff from 6.3-5 to 6.4-2 (13.8 MiB)
- diff from 6.4-1 to 6.4-2 (898 bytes)
No changes file available.
