| remove pcert elementary bounders for final file | (download) |
books/tau/bounders/elementary-bounders.lisp |
2 0 2 - 0 !
1 file changed, 2 deletions(-) |
fix elementary-bounders .final file
pcert appears to interfere with the certification path renaming
mechanism. This patch was suggested by upstream as a workaround.
.
acl2 (7.0-1) unstable; urgency=medium
.
* New upstream release
|
| package_name_capitalization | (download) |
books/interface/infix/infix.lisp |
4 2 2 - 0 !
books/interface/infix/latex-init.lisp |
2 1 1 - 0 !
books/interface/infix/latex-theory.lisp |
2 1 1 - 0 !
books/interface/infix/scribe-init.lisp |
2 1 1 - 0 !
4 files changed, 5 insertions( ), 5 deletions(-) |
<short summary of the patch>
TODO: Put a short summary on the line above and replace this paragraph
with a longer explanation of this change. Complete the meta-information
with other relevant fields (see below for details). To make it easier, the
information below has been extracted from the changelog. Adjust it or drop
it.
.
acl2 (8.5dfsg-1) unstable; urgency=medium
.
* New upstream release
* Bug fix: "Please remove dependency on install-info", thanks to Hilmar
Preusse (Closes: #1013453).
|
| more_package_name_capitalization | (download) |
books/interface/infix/makefile |
12 6 6 - 0 !
1 file changed, 6 insertions( ), 6 deletions(-) |
<short summary of the patch>
TODO: Put a short summary on the line above and replace this paragraph
with a longer explanation of this change. Complete the meta-information
with other relevant fields (see below for details). To make it easier, the
information below has been extracted from the changelog. Adjust it or drop
it.
.
acl2 (8.5dfsg-2) unstable; urgency=medium
.
* Bug fix: "FTBFS: make: *** [debian/rules:160: infix-stamp] Error 2", thanks to Lucas Nussbaum (Closes: #1026795).
* build depend latest gcl
* remove superfluous tex-common from build-deps
|
