Commit message (Expand) | Author | Age | |
---|---|---|---|
* | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 |
* | treewide: installFlags is a list | Robin Gloster | 2019-12-30 |
* | 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 |