diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-08-08 17:58:34 +0200 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-08-08 17:59:02 +0200 |
| commit | 8a7f3c36185ddb801372b3461ff65109978ab46b (patch) | |
| tree | 16add7a3bfb07c234167494755c6d9be7ba11d38 /pkgs/applications/science/logic/opensmt | |
| parent | 66fb10ecb58f3231abfe11c27dce95dbef9ac5d4 (diff) | |
| download | nixpkgs-8a7f3c36185ddb801372b3461ff65109978ab46b.tar nixpkgs-8a7f3c36185ddb801372b3461ff65109978ab46b.tar.gz nixpkgs-8a7f3c36185ddb801372b3461ff65109978ab46b.tar.bz2 nixpkgs-8a7f3c36185ddb801372b3461ff65109978ab46b.tar.lz nixpkgs-8a7f3c36185ddb801372b3461ff65109978ab46b.tar.xz nixpkgs-8a7f3c36185ddb801372b3461ff65109978ab46b.tar.zst nixpkgs-8a7f3c36185ddb801372b3461ff65109978ab46b.zip | |
Mark a bunch of packages as broken or not supported on Darwin
Diffstat (limited to 'pkgs/applications/science/logic/opensmt')
| -rw-r--r-- | pkgs/applications/science/logic/opensmt/default.nix | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/pkgs/applications/science/logic/opensmt/default.nix b/pkgs/applications/science/logic/opensmt/default.nix index 2dc4b993429..62e11651175 100644 --- a/pkgs/applications/science/logic/opensmt/default.nix +++ b/pkgs/applications/science/logic/opensmt/default.nix @@ -33,14 +33,11 @@ rec { meta = { description = "A satisfiability modulo theory (SMT) solver"; - maintainers = with a.lib.maintainers; - [ - raskin - ]; - platforms = with a.lib.platforms; - linux; + maintainers = [ a.lib.maintainers.raskin ]; + platforms = a.lib.platforms.linux; license = a.stdenv.lib.licenses.gpl3; homepage = "http://code.google.com/p/opensmt/"; + broken = true; }; passthru = { updateInfo = { |