4 commits

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