acl2 4.3-2 source package in Debian
Changelog
acl2 (4.3-2) unstable; urgency=low
* remove special NO_STRIP for ppc
* multiply-stacks by 4 on #-native-reloc
* Bug fix: "Please add support for build-arch and build-indep targets",
thanks to Niels Thykier (Closes: #647919).
-- Camm Maguire <email address hidden> Fri, 20 Jan 2012 14:18: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_4.3-2.dsc | 1.4 KiB | 81bf6022e2798c76596277f91ca62ce1b28992048b4081fad0d283e60acde746 |
| acl2_4.3.orig.tar.gz | 14.5 MiB | da26affd74ea716e68262d8bd71489a365f937b6abdfca07fc77614c0c003a1d |
| acl2_4.3-2.debian.tar.gz | 17.5 KiB | dffcc36c2220534b47709ddb9baa739ffe5a9cae4d9a45822f8d38c8159d9b22 |
Available diffs
- diff from 4.2-1 (in Ubuntu) to 4.3-2 (4.1 MiB)
No changes file available.
