Peter Simons 2a54f52b22 coq_HEAD: Revert "update to latest Git version" ... This reverts commit bf009f87a9. The update breaks the build.		2014-09-19 12:29:07 +02:00
..
abc	fetchbzr, fetchdarcs, fetchhg: use rev attr	2014-06-28 21:06:10 +02:00
alt-ergo	Fix many package descriptions	2014-08-24 22:31:37 +02:00
boolector
coq	coq_HEAD: Revert "update to latest Git version"	2014-09-19 12:29:07 +02:00
cvc3
ekrhyper
eprover
hol
hol_light	Update hol_light to r198. Add myself as a maintainer	2014-09-16 16:55:56 +02:00
iprover	Fix broken license references.	2014-07-28 11:43:20 +02:00
isabelle
lci
leo2	Update and fix LEO2 prover	2014-08-12 03:57:52 +04:00
logisim	Turn some license strings into lib.licenses values	2014-07-28 11:31:14 +02:00
ltl2ba
matita	Fix many package descriptions	2014-08-24 22:31:37 +02:00
minisat	Fix broken license references.	2014-07-28 11:43:20 +02:00
opensmt	Mark a bunch of packages as broken or not supported on Darwin	2014-08-08 17:59:02 +02:00
ott	ott: 0.25 new expression	2014-09-15 21:50:07 +01:00
otter
picosat	Turn some license strings into lib.licenses values	2014-07-28 11:31:14 +02:00
prooftree	Fix many package descriptions	2014-08-24 22:31:37 +02:00
prover9
satallax
spass
ssreflect	ssreflect: 1.4 -> 1.5	2014-08-19 16:03:33 -05:00
stp
tptp	Update TPTP	2014-08-31 19:25:32 +04:00
twelf	Fix many package descriptions	2014-08-24 22:31:37 +02:00
verifast	Fix various evaluation problems	2014-08-22 11:57:40 +02:00
why3
yices	Fix various evaluation problems	2014-08-22 11:57:40 +02:00
z3