| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| hardening.patch | Propagate hardening flags | Andreas Tille <tille@debian.org> | no | 2016-01-29 | ||
| fix_clean_target | test and clean targets refer to testing dir but it does not exists. This creates an infinite loop on those targets. | Olivier Sallou <olivier.sallou@irisa.fr> | no | |||
| generate_doc | fix document generation makefile * use pdflatex rather than ps2pdf * make sure original pdf will be kept for restoring original source dir state |
Olivier Sallou <olivier.sallou@irisa.fr>, | no | |||
| remove_non-free_parts.patch | Remove all occurrences of removed code | Andreas Tille <tille@debian.org> | no | 2016-01-29 | ||
| replace_printfformat.patch | Replace non-free class by Java standard String.format | Andreas Tille <tille@debian.org> | no | 2016-01-29 | ||
| spelling.patch | Fix spelling | Andreas Tille <tille@debian.org> | no | 2016-01-29 | ||
| gcc-10_multiple_definition.patch | Fix build issue with gcc-10 | Andreas Tille <tille@debian.org> | no | debian | https://lists.debian.org/debian-mentors/2020/08/msg00067.html | 2020-08-12 |