Daniel Schaefer
|
bac4d95aa2
|
treewide: Change URLs to HTTPS
Lots of URLs were HTTP redirect to HTTPS. Changed those and checked them
if there's actual content. Inspired by
https://github.com/NixOS/nixpkgs/issues/60004
|
2019-04-22 10:19:54 +02:00 |
|
Théo Zimmermann
|
208aedb971
|
ocamlPackages.*: remove unnecessary unpackCmd
|
2018-11-12 17:25:18 +00:00 |
|
Vincent Laporte
|
9114b47314
|
ocamlPackages.gg: use opaline
|
2018-06-06 07:14:20 +00:00 |
|
Vincent Laporte
|
4168706d4f
|
OCaml modules: make explicit some dependencies to ocamlbuild
|
2016-10-09 11:55:19 +02:00 |
|
Nicolas B. Pierron
|
72c6f8a140
|
Ensure that we can evaluate the platform attribute of ocaml packages.
|
2016-03-13 19:08:26 +00:00 |
|
Vincent Laporte
|
4fa4f6f841
|
ocaml-gg: 0.9.0 -> 0.9.1
|
2015-10-13 06:14:25 +02:00 |
|
Jirka Marsik
|
d48dd17c5e
|
Added gg-0.9.0
|
2014-10-29 20:15:39 +01:00 |
|