Ulrik Strid
a13cdfe520
ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs
...
To keep this for the future we also strictDeps where possible, including for janePackages, topkg, oasis and ocamlbuild.
This makes some closures significantly smaller and makes cross compilation easier
2022-02-24 14:39:27 +01:00
sternenseemann
4e42cac49d
ocamlPackages: stdenv.lib → lib
...
This change was produced by searching for remaining occurrences of
stdenv.lib and replacing them manually.
Reference #108938 .
2021-01-12 16:33:18 +01:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
Robin Gloster
2157dcd141
treewide: installFlags is a list
2019-12-30 13:22:43 +01:00
Moritz Kiefer
6738033727
alt-ergo: 1.30->2.2.0, ocplib-simplex: 0.3->0.4
2018-10-13 17:45:45 +00:00
John Ericson
531e4b80c9
misc pkgs: Basic sed to get fix pkgconfig and autoreconfHook buildInputs
...
Only acts on one-line dependency lists.
2017-09-21 15:49:53 -04:00
Vincent Laporte
97a496a472
ocamlPackages.ocplib-simplex: init at 0.3
...
ocplib-simplex is a (fully) functional OCaml implementation of the simplex algorithm for solving systems of linear inequalities.
homepage: https://github.com/OCamlPro-Iguernlala/ocplib-simplex
2016-11-23 09:59:10 +01:00
