diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-01-22 01:30:10 +0100 |
---|---|---|
committer | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-01-22 01:30:10 +0100 |
commit | b31ae5b7b207cd9870b97bd50d419d0e815b95b9 (patch) | |
tree | 9814271960e211327da421baa61d2e40a26a15fb | |
parent | a9d9ac9827026bfac442b1021c73421e8be9bf8a (diff) | |
download | nixpkgs-b31ae5b7b207cd9870b97bd50d419d0e815b95b9.tar nixpkgs-b31ae5b7b207cd9870b97bd50d419d0e815b95b9.tar.gz nixpkgs-b31ae5b7b207cd9870b97bd50d419d0e815b95b9.tar.bz2 nixpkgs-b31ae5b7b207cd9870b97bd50d419d0e815b95b9.tar.lz nixpkgs-b31ae5b7b207cd9870b97bd50d419d0e815b95b9.tar.xz nixpkgs-b31ae5b7b207cd9870b97bd50d419d0e815b95b9.tar.zst nixpkgs-b31ae5b7b207cd9870b97bd50d419d0e815b95b9.zip |
opa: restrict platforms
-rw-r--r-- | pkgs/development/compilers/opa/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/compilers/opa/default.nix b/pkgs/development/compilers/opa/default.nix index e4cd191683c..2843625daef 100644 --- a/pkgs/development/compilers/opa/default.nix +++ b/pkgs/development/compilers/opa/default.nix @@ -73,6 +73,6 @@ stdenv.mkDerivation rec { homepage = "http://opalang.org/"; license = lib.licenses.gpl3; maintainers = [ ]; - platforms = with lib.platforms; unix; + platforms = [ "x86_64-linux" "x86_64-darwin" ]; }; } |