Merge pull request #119814 from SuperSandro2000/SuperSandro2000-patch-2

pyrox.dev / nixpkgs

fork atom

lol

fork atom

spin: update homepage to https

authored by

Sandro and committed by

GitHub 5 years ago d1bbef41 2410155e

+1 -1

1 changed file

expand all

pkgs

development

tools

analysis

spin

default.nix

+1 -1

pkgs/development/tools/analysis/spin/default.nix

··· 38 38 39 39 meta = with lib; { 40 40 description = "Formal verification tool for distributed software systems"; 41 - homepage = "http://spinroot.com/"; 41 + homepage = "https://spinroot.com/"; 42 42 license = licenses.free; 43 43 platforms = platforms.linux ++ platforms.darwin; 44 44 maintainers = with maintainers; [ pSub ];