Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
---|---|---|---|---|---|---|
nocustom | Patch upstream Makefile.in in order to suppress the -custom option when compiling to byteode. |
Ralf Treinen <treinen@debian.org> | no | 2019-09-03 | ||
examples_makefile | fix Makefile in doc/examples/test-example (use installed hlins instead of the one in a build-directory) |
Ralf Treinen <treinen@debian.org> | no | 2019-09-03 | ||
doc_makefile | do not install LICENCE file | Ralf Treinen <treinen@debian.org> | no | 2019-09-03 | ||
manpage | spelling errors inmanpage | Ralf Treinen <treinen@debian.org> | no | 2019-09-03 | ||
0005-Fix-compilation-with-OCaml-4.08.0.patch | Fix compilation with OCaml 4.08.0 | Stephane Glondu <steph@glondu.net> | no | 2019-09-03 | ||
0006-Fix-compilation-with-OCaml-4.13.1.patch | Fix compilation with OCaml 4.13.1 | Stephane Glondu <steph@glondu.net> | no | 2021-12-26 |