acl2 4.3-3 source package in Debian
Changelog
acl2 (4.3-3) unstable; urgency=low
* Bug fix: "unowned file /usr/local/share/texmf/ls-R after purge (policy
6.8, 9.1.2)", thanks to Andreas Beckmann (Closes: #669380).
* Bug fix: "FTBFS: | /«PKGBUILDDIR»/books/tools/defsum.c:7456:5: error:
expected expression before ')' token", thanks to Lucas
Nussbaum (Closes: #669442). Build-dep on latest gcl
-- Camm Maguire <email address hidden> Fri, 20 Apr 2012 12:59:26 +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 | |
|---|---|---|---|---|
| Wheezy | release | main | math |
Builds
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| acl2_4.3-3.dsc | 1.5 KiB | 8db8ed48703873c62c7ca5f7f274e30cfb12b3fb68419c69f9dfc3f15d58b5ed |
| acl2_4.3.orig.tar.gz | 14.5 MiB | da26affd74ea716e68262d8bd71489a365f937b6abdfca07fc77614c0c003a1d |
| acl2_4.3-3.debian.tar.gz | 17.9 KiB | 938d0330d59f3971a8670016c9227c670a74c632d182c4fadb17aed4b45cc32e |
Available diffs
- diff from 4.3-2 to 4.3-3 (1.1 KiB)
No changes file available.
