| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| remove-pcert-elementary-bounders-for-final-file | fix elementary-bounders .final filepcert 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 |
Camm Maguire <camm@debian.org> | no | |||
| remove-pcert-local-elided-for-final-file | remove-pcert-local-elided-for-final-file Pcert mechanism interferes with .cert.final strategy. | Camm Maguire <camm@debian.org> | not-needed | |||
| compile_with_split_files | compile_with_split_files Use gcl's *split-files* to break up excessively large generated C code. | Camm Maguire <camm@debian.org> | not-needed | |||
| UTF-8-encoding | UTF-8-encoding Patch certain files with iconv to convert from national encoding. | Camm Maguire <camm@debian.org> | not-needed | |||
| remove-w3-validation-badge | remove-w3-validation-badge Remove W3 validation badge on documentation homepage. | Camm Maguire <camm@debian.org> | not-needed | |||
| spelling_corrections_consolidated | <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.4dfsg-1) unstable; urgency=medium . * New upstream release |
Camm Maguire <camm@debian.org> | no | |||
| elpa-emacs | elpa-emacs Place emacs interface files into an elpa package. | Camm Maguire <camm@debian.org> | not-needed | |||
| package_name_capitalization | <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). |
Camm Maguire <camm@debian.org> | no | debian | ||
| more_package_name_capitalization | <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 |
Camm Maguire <camm@debian.org> | no | debian |