| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| 0001-Patch-Makefiles-so-that-stuff-is-installed-under-DES.patch | Patch Makefiles so that stuff is installed under $(DESTDIR) | Stefano Zacchiroli <zack@debian.org> | no | 2011-07-21 | ||
| 0002-Avoid-dependending-on-a-missing-.txt-document.patch | Avoid dependending on a missing .txt document | Stefano Zacchiroli <zack@debian.org> | no | 2011-07-21 | ||
| 0003-Fix-compilation-with-OCaml-4.08.1.patch | Fix compilation with OCaml 4.08.1 | Christopher Cramer <tsuyoshi@yumegakanau.org> | no | debian | 2019-11-21 |