Merge pull request #203387 from wegank/formula-aarch64-linux

formula: unbreak on aarch64-linux
2022-11-30 07:02:00 -05:00
parent 5b6e95b131 31dae4a6c0
commit 227de2b3bb
1 changed files with 0 additions and 1 deletions
@@ -25,7 +25,6 @@ buildDotnetModule rec {
  passthru.updateScript = unstableGitUpdater { url = meta.homepage; };

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