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 |
|