Debian Patches
Status for why3/1.8.2-1
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| hardening-flags | hardening-flags =================================================================== |
Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> | no | 2020-02-10 | ||
| Avoid-Unicode-characters-not-supported-by-LaTeX.patch | Avoid Unicode characters not supported by LaTeX | Stephane Glondu <glondu@debian.org> | no | 2025-09-12 |