Alyssa Ross 7887a81193 treewide: fix cargoSha256 (again) ... cargo-vendor output was changed in a4fc84de44.		2019-12-20 20:08:53 +00:00
..
abc
abella
acgtk
aiger	aiger: enable for darwin	2019-12-08 18:31:49 +00:00
alt-ergo
aspino	Treewide: fix URL permanent redirects	2019-11-16 01:41:23 +01:00
avy
beluga
boolector	boolector: add patch for CVE-2019-7560	2019-12-12 10:37:02 -06:00
btor2tools	btor2tools: correct meta information	2019-12-12 10:37:02 -06:00
cedille
celf
clprover
coq	coq_8_11: init at 8.11+β1	2019-12-07 07:58:00 +00:00
coq2html
cryptominisat
cryptoverif
cubicle
cvc3
cvc4
drat-trim
ekrhyper
elan	treewide: fix cargoSha256 (again)	2019-12-20 20:08:53 +00:00
eprover	eprover: 2.3 -> 2.4	2019-11-01 14:00:31 -07:00
fast-downward
gappa
glucose
hol
hol_light	Merge branch 'master' into rename-z77z-into-maggesi	2019-10-13 18:06:23 +02:00
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	lingeling: enable for darwin	2019-12-08 18:32:04 +00:00
logisim
ltl2ba
mcrl2	treewide: Get rid of libGLU_combined	2019-11-18 20:10:43 +00:00
metis-prover
minisat
monosat	monosat: 60528a3 -> 1.8.0	2019-10-15 16:52:25 -04:00
open-wbo
opensmt
ott	ott: 0.28 -> 0.29	2019-10-23 11:44:13 -07:00
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	symbiyosys: add yices dependency	2019-12-04 14:29:31 -06:00
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	why3: 1.2.0 → 1.2.1	2019-11-11 11:30:52 +00:00
workcraft
yices	tree-wide: replace uses of splitString "." with lib.versions	2019-09-26 17:42:49 +02:00
z3	z3: 4.8.5 -> 4.8.7	2019-12-14 20:33:59 -06:00