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
..
1.2.2.nix	treewide: Change URLs to HTTPS	2019-04-22 10:19:54 +02:00
default.nix	treewide: Change URLs to HTTPS	2019-04-22 10:19:54 +02:00
opam-shebangs.patch
opam.nix.pl	opam: put the whole /nix in OPAM_USER_PATH_RO	2019-03-11 01:02:43 +01:00