Austin Seipp 453f93cc92 Merge pull request #2514 from jwiegley/coq ... Make Coq buildable on any Unix		2014-05-17 14:49:57 -05:00
..
abc	nixpkgs: add abc version 040509	2014-05-17 14:09:09 -05:00
alt-ergo	nixpkgs: add alt-ergo 0.95.2	2014-05-01 02:42:31 -05:00
boolector
coq	Merge pull request #2514 from jwiegley/coq	2014-05-17 14:49:57 -05:00
cvc3
ekrhyper
eprover
hol
hol_light
iprover
isabelle
lci
leo2
logisim
ltl2ba
matita
minisat
opensmt
otter
picosat
prover9
satallax
spass
ssreflect
stp
tptp	Update TPTP and make URL set robust to moving old versions to archive	2014-05-03 00:53:46 +04:00
verifast	z3/verifast: update license	2014-05-01 19:09:24 -05:00
why3	nixpkgs: add why3 0.83	2014-05-01 02:30:39 -05:00
yices
z3	z3/verifast: update license	2014-05-01 19:09:24 -05:00