diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2021-04-18 19:10:52 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-18 19:10:52 +0200 |
commit | 499051045f1b35a55f6d80781dc09be32654eaf2 (patch) | |
tree | 3d2ee440df316a27d9bebc24bb860dd6bf617ab9 | |
parent | 6eeab63be433fc0a024d281a239028febc8f1e34 (diff) |
spin: update homepage to https
-rw-r--r-- | pkgs/development/tools/analysis/spin/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/tools/analysis/spin/default.nix b/pkgs/development/tools/analysis/spin/default.nix index 58bb58fa2b0cb..b4da93a2af377 100644 --- a/pkgs/development/tools/analysis/spin/default.nix +++ b/pkgs/development/tools/analysis/spin/default.nix @@ -38,7 +38,7 @@ in stdenv.mkDerivation rec { meta = with lib; { description = "Formal verification tool for distributed software systems"; - homepage = "http://spinroot.com/"; + homepage = "https://spinroot.com/"; license = licenses.free; platforms = platforms.linux; maintainers = with maintainers; [ pSub ]; |