]>
2021-12-25 | Jakub Bogusz | - updated URL, release 5 |
commit | commitdiff | tree |
2021-12-25 | Jakub Bogusz | - use upstream provided META file, separated -lwt*... |
commit | commitdiff | tree |
2021-12-25 | Jakub Bogusz | - no need to (re)install .mli file |
commit | commitdiff | tree |
2021-12-25 | Jakub Bogusz | - moved examples to examplesdir |
commit | commitdiff | tree |
2021-12-25 | Jakub Bogusz | - added sh patch (remove bashism from configure), unified... |
commit | commitdiff | tree |
2021-12-23 | Jakub Bogusz | - pl |
commit | commitdiff | tree |