zowoq
|
932941b79c
|
treewide: editorconfig fixes
- remove trailing whitespace
- use spaces for indentation
|
2021-01-21 13:29:54 +10: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
|
456089b74d
|
ocamlPackages.mlgmp: disable for OCaml ≥ 4.03
|
2017-06-26 19:38:47 +02:00 |
|
Kirill Boltaev
|
3e646865f4
|
treewide: use ocaml.version (#19192)
|
2016-10-05 09:32:30 +02:00 |
|
Christophe Raffalli
|
fc36c19834
|
Added OCaml gmp bindings mlgmp
|
2013-06-16 22:33:33 +02:00 |
|