diff options
author | Silvan Mosberger <infinisil@icloud.com> | 2018-06-28 20:43:35 +0200 |
---|---|---|
committer | xeji <36407913+xeji@users.noreply.github.com> | 2018-06-28 20:43:35 +0200 |
commit | 57bccb3cb8f6b5dea5c315fcaabdb992498b9314 (patch) | |
tree | 9061fa0c994f031f5ffbdb9c84306d216a5b6b9b /pkgs/applications/science/logic/prooftree | |
parent | 9fb3a0476115a55d320ebe44e9eddaca69c3e975 (diff) | |
download | nixpkgs-57bccb3cb8f6b5dea5c315fcaabdb992498b9314.tar nixpkgs-57bccb3cb8f6b5dea5c315fcaabdb992498b9314.tar.gz nixpkgs-57bccb3cb8f6b5dea5c315fcaabdb992498b9314.tar.bz2 nixpkgs-57bccb3cb8f6b5dea5c315fcaabdb992498b9314.tar.lz nixpkgs-57bccb3cb8f6b5dea5c315fcaabdb992498b9314.tar.xz nixpkgs-57bccb3cb8f6b5dea5c315fcaabdb992498b9314.tar.zst nixpkgs-57bccb3cb8f6b5dea5c315fcaabdb992498b9314.zip |
treewide: http -> https sources (#42676)
* treewide: http -> https sources This updates the source urls of all top-level packages from http to https where possible. * buildtorrent: fix url and tab -> spaces
Diffstat (limited to 'pkgs/applications/science/logic/prooftree')
-rw-r--r-- | pkgs/applications/science/logic/prooftree/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/prooftree/default.nix b/pkgs/applications/science/logic/prooftree/default.nix index b143fd98250..01dfc35f6e0 100644 --- a/pkgs/applications/science/logic/prooftree/default.nix +++ b/pkgs/applications/science/logic/prooftree/default.nix @@ -5,7 +5,7 @@ stdenv.mkDerivation (rec { version = "0.12"; src = fetchurl { - url = "http://askra.de/software/prooftree/releases/prooftree-${version}.tar.gz"; + url = "https://askra.de/software/prooftree/releases/prooftree-${version}.tar.gz"; sha256 = "08yp66j05pdkdpv9xkfqymqy82mir5xbwfh9mkzhh219xkps4b4m"; }; |