formula: unmark as broken on darwin

2022-06-22 17:04:55 -07:00
parent c76653603c
commit 354c51a748
1 changed files with 1 additions and 1 deletions
@@ -25,7 +25,7 @@ buildDotnetModule rec {
  passthru.updateScript = unstableGitUpdater { url = meta.homepage; };

  meta = with lib; {
-    broken = (stdenv.isLinux && stdenv.isAarch64) || stdenv.isDarwin;
+    broken = stdenv.isLinux && stdenv.isAarch64;
    description = "Formal Specifications for Verification and Synthesis";
    homepage = "https://github.com/VUISIS/formula-dotnet";
    license = licenses.mspl;