diff options
author | Ben Siraphob <bensiraphob@gmail.com> | 2021-07-01 23:33:15 +0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-01 23:33:15 +0700 |
commit | ee5b85e00e08c5b7d3c6deb3d04e35bf2d626133 (patch) | |
tree | be1dda4313d374f916b478e38f5b2574b22dbf5c /pkgs/applications/science | |
parent | 5ac54b6c88e53652151c751d6ba4c0e17aed81b2 (diff) | |
parent | e86f5bfa8f5d1c8fa7516ca429a78ebde42208fa (diff) |
Merge pull request #128900 from siraben/hol-unix
hol: expand platforms to unix
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/logic/hol/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/hol/default.nix b/pkgs/applications/science/logic/hol/default.nix index 569c455e6532c..8427249c4ce95 100644 --- a/pkgs/applications/science/logic/hol/default.nix +++ b/pkgs/applications/science/logic/hol/default.nix @@ -81,7 +81,7 @@ stdenv.mkDerivation { ''; homepage = "http://hol.sourceforge.net/"; license = licenses.bsd3; - platforms = [ "x86_64-linux" ]; + platforms = platforms.unix; maintainers = with maintainers; [ mudri ]; }; } |