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