diff options
| author | Sandro <sandro.jaeckel@gmail.com> | 2021-04-19 05:04:53 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-19 05:04:53 +0200 |
| commit | d1bbef4135012a773bf06e7988842a1326d5fc8e (patch) | |
| tree | 0638c83dddbeb6944b47b87b45bd6040f53ed014 /pkgs/development/tools/analysis/spin | |
| parent | 2410155e79b05fd5b54127b48583d6e94e5934d6 (diff) | |
| parent | 499051045f1b35a55f6d80781dc09be32654eaf2 (diff) | |
| download | nixpkgs-d1bbef4135012a773bf06e7988842a1326d5fc8e.tar nixpkgs-d1bbef4135012a773bf06e7988842a1326d5fc8e.tar.gz nixpkgs-d1bbef4135012a773bf06e7988842a1326d5fc8e.tar.bz2 nixpkgs-d1bbef4135012a773bf06e7988842a1326d5fc8e.tar.lz nixpkgs-d1bbef4135012a773bf06e7988842a1326d5fc8e.tar.xz nixpkgs-d1bbef4135012a773bf06e7988842a1326d5fc8e.tar.zst nixpkgs-d1bbef4135012a773bf06e7988842a1326d5fc8e.zip | |
Merge pull request #119814 from SuperSandro2000/SuperSandro2000-patch-2
spin: update homepage to https
Diffstat (limited to 'pkgs/development/tools/analysis/spin')
| -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 a15421eee27..5f0c7bffe94 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 ++ platforms.darwin; maintainers = with maintainers; [ pSub ]; |