hol: expand platforms to unix

This commit is contained in:
Ben Siraphob 2021-07-01 22:18:53 +07:00
parent dd9790a83f
commit e86f5bfa8f

View file

@ -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 ];
};
}