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/mcrl2 | |
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/mcrl2')
-rw-r--r-- | pkgs/applications/science/logic/mcrl2/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/mcrl2/default.nix b/pkgs/applications/science/logic/mcrl2/default.nix index ec717002c2d..6d9549b526f 100644 --- a/pkgs/applications/science/logic/mcrl2/default.nix +++ b/pkgs/applications/science/logic/mcrl2/default.nix @@ -7,7 +7,7 @@ stdenv.mkDerivation rec { name = "mcrl2-${version}"; src = fetchurl { - url = "http://www.mcrl2.org/download/release/mcrl2-${version}.${build_nr}.tar.gz"; + url = "https://www.mcrl2.org/download/release/mcrl2-${version}.${build_nr}.tar.gz"; sha256 = "1c8h94ja7271ph61zrcgnjgblxppld6v22f7f900prjgzbcfy14m"; }; |