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

lingeling: enable for darwin

Browse Source
This commit is contained in:
Robert Scott
2019-12-08 18:32:04 +00:00
parent dc6233b972
commit 2611887c2e
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/applications/science/logic/lingeling/default.nix
+1 -1
View File
@@ -43,7 +43,7 @@ stdenv.mkDerivation {
description = "Fast SAT solver"; description = "Fast SAT solver";
homepage = http://fmv.jku.at/lingeling/; homepage = http://fmv.jku.at/lingeling/;
license = licenses.mit; license = licenses.mit;
platforms = platforms.linux; platforms = platforms.unix;
maintainers = with maintainers; [ thoughtpolice ]; maintainers = with maintainers; [ thoughtpolice ];
}; };
} }