| 0001-Disabling-MPFR.patch |
Disabling MPFR |
Mike Furr <mfurr@debian.org> |
no |
|
|
2017-07-17 |
| 0002-Handling-non-native-archs-and-proper-handling-of-.so.patch |
Handling non-native archs and proper handling of .so generation |
Mike Furr <mfurr@debian.org> |
no |
|
|
2017-07-17 |
| 0003-Various-bugfixes-in-C-bindings.patch |
Various bugfixes in C bindings |
Mike Furr <mfurr@debian.org> |
no |
|
|
2017-07-17 |
| 0004-Fix-wrong-conversion-from-int-on-64-bits-computers.patch |
Fix wrong conversion from int on 64 bits computers |
Jean-Christophe Fillitre |
no |
debian
|
|
2017-07-17 |
| 0005-Update-extern-declarations-for-de-serialize-function.patch |
Update extern declarations for [de]serialize functions to match ocaml 4.04 definitions. |
Dimitri John Ledkov <xnox@ubuntu.com> |
no |
|
|
2017-07-17 |
| 0006-Include-stdint.h-for-compatibility-with-pre-4.04.patch |
Include stdint.h for compatibility with pre-4.04 |
Stephane Glondu <steph@glondu.net> |
no |
|
|
2017-07-17 |
| 0007-Fix-compilation-with-OCaml-4.08.0.patch |
Fix compilation with OCaml 4.08.0 |
Stephane Glondu <steph@glondu.net> |
no |
|
|
2019-09-03 |
| 0008-Fix-compilation-with-gcc-10.patch |
Fix compilation with gcc-10 |
Stephane Glondu <steph@glondu.net> |
no |
debian
|
|
2020-08-13 |