Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
Ben Darwin
80da0a626e
functoria: 2.0.2 -> 3.0.3
2019-12-22 20:45:12 -05:00
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
5e4edcc4ec
ocamlPackages.topkg: refactoring
2017-12-14 07:36:29 +00:00
Vincent Laporte
752351e889
ocamlPackages: make explicit some version requirements
2017-04-28 16:19:58 +00:00
Vincent Laporte
cc012b227f
ocamlPackages.functoria: init at 2.0.2
...
Functoria is a DSL to describe a set of modules and functors, their
types and how to apply them in order to produce a complete application.
Homepage: https://github.com/mirage/functoria
2017-03-17 02:39:15 +00:00
