| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| fix-makefile-for-installation-to-usr-instead-of-usr-local.patch | fix makefile for installation to /usr instead of /usr/local This fixes the PREFIX variable for installation and the distclean part of the build system. |
=?utf-8?b?R8O8cmthbiBTZW5nw7xu?= <gurkan@phys.ethz.ch> | no | 2017-05-10 | ||
| Use-external-giza-library-instead-of-local-copy.patch | Use external giza library instead of local copy | Ole Streicher <olebole@debian.org> | no | 2017-05-10 | ||
| Use-FFLAGS-provided-by-the-system.patch | Use FFLAGS provided by the system | Ole Streicher <olebole@debian.org> | no | 2019-10-02 |