| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| 0001-Fix-Makefile-for-Debian.patch | Fix the Makefile so that it works for Debian | Gürkan Sengün <gurkan@phys.ethz.ch> | no | 2012-05-31 | ||
| 0002-Fix-build-with-gcc-10.patch | Fix build with gcc-10 | Jeff Law <law@redhat.com> | no | 2020-05-09 |