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/isabelle/default.nix | |
| 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/isabelle/default.nix')
| -rw-r--r-- | pkgs/applications/science/logic/isabelle/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/isabelle/default.nix b/pkgs/applications/science/logic/isabelle/default.nix index af2bb3ed0c4..ae04c11d959 100644 --- a/pkgs/applications/science/logic/isabelle/default.nix +++ b/pkgs/applications/science/logic/isabelle/default.nix @@ -15,7 +15,7 @@ stdenv.mkDerivation { sha256 = "1awgg39i72pivwfijdwffvil3glnpimjz2x04qbl5la2j6la48nb"; } else fetchurl { - url = "http://isabelle.in.tum.de/website-${dirname}/dist/${dirname}_linux.tar.gz"; + url = "https://isabelle.in.tum.de/website-${dirname}/dist/${dirname}_linux.tar.gz"; sha256 = "01v1zrajyfamjq5b8v18qr3ffivjckifsvvx2vs13di6wsnmm9gw"; }; |