Ulrik Strid
661ee6b468
ocamlPackages treewide: Add missing inputs
2022-03-25 13:55:18 +01:00
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
Felix Buehler
12f343da4c
treewide: rename name to pname&version
2022-02-06 23:56:36 +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
Vincent Laporte
0c7a1e7a24
ocamlPackages.mlgmpidl: 1.2.11 → 1.2.12
2020-02-03 09:38:34 +01:00
R. RyanTM
1c336ed6fc
ocamlPackages.mlgmpidl: 1.2.10 -> 1.2.11
2019-11-04 16:34:57 +00:00
Vincent Laporte
b00a5f5557
ocamlPackages.mlgmpidl: 1.2.8 -> 1.2.10
2019-06-17 06:32:34 +00:00
Vincent Laporte
79bc38c1bc
ocamlPackages.mlgmpidl: 1.2.7 -> 1.2.8
...
This version builds even if profiling is not available (e.g., on Aarch).
2019-02-28 22:24:07 +01:00
Vincent Laporte
7ed02d4b70
ocamlPackages.mlgmpidl: 1.2.6 -> 1.2.7
2018-09-15 11:09:53 +00:00
Vincent Laporte
83005408d3
ocamlPackages.mlgmpidl: 1.2.4 -> 1.2.6
2017-12-03 08:21:55 +01:00
Vincent Laporte
2f2fbc9966
ocamlPackages.mlgmpidl: init at 1.2.4
...
mlgmpidl is an OCaml interface to the GMP library.
Homepage: https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/
2017-01-14 09:34:34 +00:00