Anders Kaseorg 00e66f10fa coq: Rename internal versionAtLeast helper to coqAtLeast ... To avoid potential confusion with lib.versionAtLeast. Signed-off-by: Anders Kaseorg <andersk@mit.edu>		2022-04-25 13:35:06 -07:00
..
abc	abc-verifier: 2022.03.04 -> 2022.03.22	2022-04-12 08:38:25 -05:00
abella
acgtk
aiger
alt-ergo
anders
aspino
avy
beluga
bitwuzla
boolector
btor2tools
cadical
cedille
celf
clprover
coq	coq: Rename internal versionAtLeast helper to coqAtLeast	2022-04-25 13:35:06 -07:00
cryptominisat
cryptoverif
cubicle
cvc3
cvc4
cvc5	cvc5: init at 1.0.0	2022-04-06 21:20:40 +00:00
drat-trim
ekrhyper
elan	elan: 1.4.0 -> 1.4.1	2022-04-24 14:14:48 -04:00
eprover
fast-downward	fast-downward: substitute version, fix buildInputs, minor cleanup	2022-04-16 22:46:45 +02:00
formula
gappa
glucose
hol
hol_light
iprover
isabelle	isabelle: Make closer to upstream	2022-04-20 11:22:43 +02:00
key	treewide: testVersion -> testers.testVersion	2022-04-22 16:24:27 +03:00
kissat
klee
lci
lean
leo2
leo3
lingeling
logisim
logisim-evolution
ltl2ba
mcrl2
mcy
metis-prover
minisat
monosat
naproche	naproche: 0.1.0.0 -> 2022-04-19	2022-04-20 09:14:24 +02:00
nuXmv	nuXmv: fix darwin build	2022-03-30 23:43:21 -05:00
open-wbo
opensmt
ott
petrinizer
picosat
poly
potassco
prooftree
prover9
proverif
redprl
sad
satallax
saw-tools
spass
statverif
stp
symbiyosys	treewide: add meta.mainProgram to many packages	2022-04-14 10:24:01 -07:00
symfpu	symfpu: init at unstable-2019-05-17	2022-04-04 20:30:28 +00:00
tamarin-prover
tlaplus	treewide/makeWrapper: replace --run cd with --chdir	2022-03-19 09:46:31 +01:00
tptp
twelf
vampire
verifast
verit
why3	treewide: rename name to pname&version	2022-03-23 22:34:54 +01:00
workcraft
yices
z3	z3: Remove unused fetchpatch	2022-04-05 09:22:52 -04:00