Commit graph

9 commits

Author SHA1 Message Date
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