Linus Heckemann 5aa4b19946 treewide: mark some broken packages as broken ... Refs: e675498026 1e9cc5b984 793a2fe1e8 c19cf65261 f6544d618f		2019-10-08 17:14:26 +02:00
..
abc
abella
acgtk
aiger
alt-ergo
aspino
avy
beluga
boolector
btor2tools
cedille
celf
clprover
coq
coq2html
cryptominisat
cryptoverif
cubicle
cvc3
cvc4
drat-trim
ekrhyper
elan
eprover
fast-downward
gappa
glucose
hol
hol_light
iprover
isabelle
jonprl	treewide: mark some broken packages as broken	2019-10-08 17:14:26 +02:00
lci
lean
lean2	treewide: mark some broken packages as broken	2019-10-08 17:14:26 +02:00
leo2
leo3
lingeling
logisim
ltl2ba
mcrl2
metis-prover
minisat
monosat	treewide: mark some broken packages as broken	2019-10-08 17:14:26 +02:00
open-wbo
opensmt
ott
otter
petrinizer
picosat
poly
potassco	Merge pull request #69477 from r-ryantm/auto-update/clingo	2019-09-27 10:12:24 +00:00
prooftree
prover9
proverif
redprl
sad
satallax
saw-tools
spass
statverif
stp
symbiyosys
tamarin-prover	tamarin-prover: mark as broken because upstream is broken	2019-09-24 15:25:43 +02:00
tlaplus
tptp
twelf
vampire
verifast
verit
why3
workcraft
yices	tree-wide: replace uses of splitString "." with lib.versions	2019-09-26 17:42:49 +02:00
z3