| 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 |
| 0004-Fix-compilation-with-OCaml-5.2.0.patch |
Fix compilation with OCaml 5.2.0 |
Stephane Glondu <steph@glondu.net> |
no |
debian
|
|
2024-08-10 |