Merge pull request #128900 from siraben/hol-unix

hol: expand platforms to unix
2021-07-01 23:33:15 +07:00 · 2021-07-01 23:33:15 +07:00 · ee5b85e00e
parent 5ac54b6c88 e86f5bfa8f
commit ee5b85e00e
1 changed files with 1 additions and 1 deletions
--- 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 ];
  };
 }