JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

formula: unbreak on aarch64-linux

Browse Source
This commit is contained in:
Weijia Wang 2022-11-28 02:56:13 +01:00
parent 1ffa33bf09
commit 31dae4a6c0
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/applications/science/logic/formula/default.nix
View File

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