Commit message (Expand) | Author | Age | |
---|---|---|---|
* | alt-ergo: 1.30->2.2.0, ocplib-simplex: 0.3->0.4 | Moritz Kiefer | 2018-10-13 |
* | misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs` | John Ericson | 2017-09-21 |
* | ocamlPackages.ocplib-simplex: init at 0.3 | Vincent Laporte | 2016-11-23 |