diff options
author | Linus Heckemann <git@sphalerite.org> | 2019-10-07 17:20:23 +0200 |
---|---|---|
committer | Linus Heckemann <git@sphalerite.org> | 2019-10-08 17:14:26 +0200 |
commit | 5aa4b1994629ed0701b8b6d6e094da9d7d912721 (patch) | |
tree | cf3257492ae0f2b63ef0a0a9d1528969708cb166 /pkgs/applications/science/logic | |
parent | cfcc9757982a08a1ed47576fac3428ec159da8c7 (diff) | |
download | nixlib-5aa4b1994629ed0701b8b6d6e094da9d7d912721.tar nixlib-5aa4b1994629ed0701b8b6d6e094da9d7d912721.tar.gz nixlib-5aa4b1994629ed0701b8b6d6e094da9d7d912721.tar.bz2 nixlib-5aa4b1994629ed0701b8b6d6e094da9d7d912721.tar.lz nixlib-5aa4b1994629ed0701b8b6d6e094da9d7d912721.tar.xz nixlib-5aa4b1994629ed0701b8b6d6e094da9d7d912721.tar.zst nixlib-5aa4b1994629ed0701b8b6d6e094da9d7d912721.zip |
treewide: mark some broken packages as broken
Refs: e6754980264fe927320d5ff2dbd24ca4fac9a160 1e9cc5b9844ef603fe160e9f671178f96200774f 793a2fe1e8bb886ca2096c5904e1193dc3268b6d c19cf65261639f749012454932a532aa7c681e4b f6544d618f30fae0bc4798c4387a8c7c9c047a7c
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/jonprl/default.nix | 1 | ||||
-rw-r--r-- | pkgs/applications/science/logic/lean2/default.nix | 1 | ||||
-rw-r--r-- | pkgs/applications/science/logic/monosat/default.nix | 3 |
3 files changed, 4 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/jonprl/default.nix b/pkgs/applications/science/logic/jonprl/default.nix index 61ca78d85ed1..e503836098f1 100644 --- a/pkgs/applications/science/logic/jonprl/default.nix +++ b/pkgs/applications/science/logic/jonprl/default.nix @@ -30,5 +30,6 @@ stdenv.mkDerivation rec { license = stdenv.lib.licenses.mit; maintainers = with stdenv.lib.maintainers; [ puffnfresh ]; platforms = stdenv.lib.platforms.linux; + broken = true; }; } diff --git a/pkgs/applications/science/logic/lean2/default.nix b/pkgs/applications/science/logic/lean2/default.nix index 8cc50bb5e295..612c9d6f92a2 100644 --- a/pkgs/applications/science/logic/lean2/default.nix +++ b/pkgs/applications/science/logic/lean2/default.nix @@ -32,5 +32,6 @@ stdenv.mkDerivation { license = licenses.asl20; platforms = platforms.unix; maintainers = with maintainers; [ thoughtpolice gebner ]; + broken = true; }; } diff --git a/pkgs/applications/science/logic/monosat/default.nix b/pkgs/applications/science/logic/monosat/default.nix index 30d47687a3eb..fba3bc479060 100644 --- a/pkgs/applications/science/logic/monosat/default.nix +++ b/pkgs/applications/science/logic/monosat/default.nix @@ -39,6 +39,7 @@ let platforms = platforms.unix; license = if includeGplCode then licenses.gpl2 else licenses.mit; homepage = https://github.com/sambayless/monosat; + broken = true; }; }; @@ -64,4 +65,4 @@ let --replace '../../../../libmonosat.so' '${core}/lib/libmonosat.so' ''; }; -in core \ No newline at end of file +in core |