Frederik Rietdijk 6e386925ac Merge pull request #28229 from jpierre03/pr-alt-ergo ... alt-ergo: use https instead of http to fetch archive		2017-08-13 22:01:59 +02:00
..
abc
abella
acgtk	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
alt-ergo	alt-ergo: use https instead of http to fetch archive	2017-08-13 13:26:30 +02:00
aspino
boolector
coq	coq: adding myself to the maintainers	2017-08-04 19:52:55 +02:00
coq2html
cryptominisat
cryptoverif
cubicle	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
cvc3	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
cvc4
ekrhyper
eprover
gappa
glucose
hol	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
hol_light
iprover
isabelle
jonprl
lci
lean
lean2
leo2
logisim	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
ltl2ba
matita
mcrl2
metis-prover
minisat	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
opensmt	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
ott
otter
picosat
poly
prooftree
prover9	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
proverif
redprl	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
sad
satallax	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
saw-tools
spass
statverif
stp
tptp
twelf
verifast
verit
why3
yices	yices: 2.5.1 -> 2.5.2	2017-08-12 13:02:33 -05:00
z3
z3_opt