diff options
author | Ryan Mulligan <ryan@ryantm.com> | 2018-06-23 04:34:55 -0700 |
---|---|---|
committer | Ryan Mulligan <ryan@ryantm.com> | 2018-06-23 04:34:55 -0700 |
commit | 0d5eb901ad99275d0c0f787957b5db81c38612b2 (patch) | |
tree | 6e18bfc2f6c2968035b193cfb3a6b5b869139c4e /pkgs/applications/science | |
parent | 59daa4fd629f7e6547bdff047d9759c353f29067 (diff) | |
download | nixpkgs-0d5eb901ad99275d0c0f787957b5db81c38612b2.tar nixpkgs-0d5eb901ad99275d0c0f787957b5db81c38612b2.tar.gz nixpkgs-0d5eb901ad99275d0c0f787957b5db81c38612b2.tar.bz2 nixpkgs-0d5eb901ad99275d0c0f787957b5db81c38612b2.tar.lz nixpkgs-0d5eb901ad99275d0c0f787957b5db81c38612b2.tar.xz nixpkgs-0d5eb901ad99275d0c0f787957b5db81c38612b2.tar.zst nixpkgs-0d5eb901ad99275d0c0f787957b5db81c38612b2.zip |
treewide: http -> https
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/astronomy/gravit/default.nix | 2 | ||||
-rw-r--r-- | pkgs/applications/science/logic/celf/default.nix | 2 | ||||
-rw-r--r-- | pkgs/applications/science/logic/mcrl2/default.nix | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/astronomy/gravit/default.nix b/pkgs/applications/science/astronomy/gravit/default.nix index d572dd55b2b..7ff9cc517c6 100644 --- a/pkgs/applications/science/astronomy/gravit/default.nix +++ b/pkgs/applications/science/astronomy/gravit/default.nix @@ -4,7 +4,7 @@ stdenv.mkDerivation rec { name = "gravit-0.5.1"; src = fetchurl { - url = "http://gravit.slowchop.com/media/downloads/${name}.tgz"; + url = "https://gravit.slowchop.com/media/downloads/${name}.tgz"; sha256 = "14vf7zj2bgrl96wsl3f1knsggc8h9624354ajzd72l46y09x5ky7"; }; diff --git a/pkgs/applications/science/logic/celf/default.nix b/pkgs/applications/science/logic/celf/default.nix index 669cd46cd2e..708270f772f 100644 --- a/pkgs/applications/science/logic/celf/default.nix +++ b/pkgs/applications/science/logic/celf/default.nix @@ -28,7 +28,7 @@ stdenv.mkDerivation rec { meta = with stdenv.lib; { description = "Linear logic programming system"; - homepage = http://github.com/clf/celf; + homepage = https://github.com/clf/celf; license = licenses.gpl3; maintainers = with maintainers; [ bcdarwin ]; platforms = platforms.unix; diff --git a/pkgs/applications/science/logic/mcrl2/default.nix b/pkgs/applications/science/logic/mcrl2/default.nix index 6e8797fcc40..ec717002c2d 100644 --- a/pkgs/applications/science/logic/mcrl2/default.nix +++ b/pkgs/applications/science/logic/mcrl2/default.nix @@ -22,7 +22,7 @@ stdenv.mkDerivation rec { that can be used for modelling, validation and verification of concurrent systems and protocols ''; - homepage = http://www.mcrl2.org/; + homepage = https://www.mcrl2.org/; license = licenses.boost; maintainers = with maintainers; [ moretea ]; platforms = platforms.unix; |