acl2 4.3-3 source package in Ubuntu
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 |
---|
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.
Binary packages built by this source
- acl2: No summary available for acl2 in ubuntu raring.
No description available for acl2 in ubuntu raring.
- acl2-books: No summary available for acl2-books in ubuntu quantal.
No description available for acl2-books in ubuntu quantal.
- acl2-books-certs: No summary available for acl2-books-certs in ubuntu raring.
No description available for acl2-books-certs in ubuntu raring.
- acl2-books-source: No summary available for acl2-books-source in ubuntu raring.
No description available for acl2-books-source in ubuntu raring.
- acl2-doc: No summary available for acl2-doc in ubuntu quantal.
No description available for acl2-doc in ubuntu quantal.
- acl2-emacs: No summary available for acl2-emacs in ubuntu quantal.
No description available for acl2-emacs in ubuntu quantal.
- acl2-infix: No summary available for acl2-infix in ubuntu raring.
No description available for acl2-infix in ubuntu raring.
- acl2-infix-source: No summary available for acl2-infix-source in ubuntu quantal.
No description available for acl2-infix-source in ubuntu quantal.
- acl2-source: No summary available for acl2-source in ubuntu raring.
No description available for acl2-source in ubuntu raring.