spin: update homepage to https
This commit is contained in:
parent
6eeab63be4
commit
499051045f
|
@ -38,7 +38,7 @@ in stdenv.mkDerivation rec {
|
||||||
|
|
||||||
meta = with lib; {
|
meta = with lib; {
|
||||||
description = "Formal verification tool for distributed software systems";
|
description = "Formal verification tool for distributed software systems";
|
||||||
homepage = "http://spinroot.com/";
|
homepage = "https://spinroot.com/";
|
||||||
license = licenses.free;
|
license = licenses.free;
|
||||||
platforms = platforms.linux;
|
platforms = platforms.linux;
|
||||||
maintainers = with maintainers; [ pSub ];
|
maintainers = with maintainers; [ pSub ];
|
||||||
|
|
Loading…
Reference in a new issue