3 commits

Author	SHA1	Message	Date
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
Vincent Laporte	5e4edcc4ec	ocamlPackages.topkg: refactoring	2017-12-14 07:36:29 +00:00
Vincent Laporte	6636dfa845	ocamlPackages.ocb-stubblr: init at 0.1.0	2017-01-13 06:38:10 +00:00