acl2 6.4-3 source package in Debian
Changelog
acl2 (6.4-3) unstable; urgency=low
* set HOME in rule to build saved_acl2.c
* Bug fix: "not buildable on buildds on some architectures", thanks to
Ivo De Decker (Closes: #747286).
-- Camm Maguire <email address hidden> Fri, 09 May 2014 15:38:15 +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-3.dsc | 1.8 KiB | 5d3cd23d4db3199234671764d350685aff341678bad45c8ae105c7823de207e1 |
| acl2_6.4.orig-books.tar.gz | 13.5 MiB | bc3170a698505a1465b7cd2d18bf0b03a89c25d23cd0196037ef80ff4e8474aa |
| acl2_6.4.orig.tar.gz | 5.8 MiB | 4c274c934a03fe24af29d284b5b230c3a477602d1272cfd95977c8765cf6c8b2 |
| acl2_6.4-3.debian.tar.xz | 123.7 KiB | 6141a3f5c8696a697e96c2650ea1b9be688861f2caa80a0950cffa8c32b526d1 |
Available diffs
- diff from 6.4-2 to 6.4-3 (1011 bytes)
No changes file available.
