diff options
Diffstat (limited to 'nixpkgs/pkgs/development/tools/analysis/swarm/default.nix')
-rw-r--r-- | nixpkgs/pkgs/development/tools/analysis/swarm/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nixpkgs/pkgs/development/tools/analysis/swarm/default.nix b/nixpkgs/pkgs/development/tools/analysis/swarm/default.nix index 894d9a2357ea..e4ebb85f27f4 100644 --- a/nixpkgs/pkgs/development/tools/analysis/swarm/default.nix +++ b/nixpkgs/pkgs/development/tools/analysis/swarm/default.nix @@ -19,7 +19,7 @@ stdenv.mkDerivation { description = "Verification script generator for Spin"; homepage = "http://spinroot.com/"; license = licenses.free; - platforms = platforms.linux; + platforms = platforms.unix; maintainers = with maintainers; [ abbradar ]; }; } |