6 commits

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