Mauricio Collares 4b37f16232 lean: 3.42.1 -> 3.43.0		2022-05-18 10:30:32 -04:00
..
abc	treewide: add meta.mainProgram to many packages	2022-05-04 18:08:19 -07:00
abella
acgtk
aiger
alt-ergo
anders
aspino	aspino: 2017-03-09 -> 2018-03-24	2022-05-13 10:53:37 -05:00
avy
beluga
bitwuzla
boolector
btor2tools
cadical
cedille
celf
clprover
coq	Revert "coqPackages: etc"	2022-05-13 06:47:14 +02:00
cryptominisat
cryptoverif
cubicle
cvc3
cvc4
cvc5	cvc5: init at 1.0.0	2022-04-06 21:20:40 +00:00
drat-trim
easycrypt	easycrypt-runtest: init at 2022.04	2022-05-05 06:57:50 +02:00
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: add meta.mainProgram to many packages	2022-05-04 18:08:19 -07:00
kissat
klee	klee: build with klee-uclibc	2022-03-15 19:21:00 -06:00
lci
lean	lean: 3.42.1 -> 3.43.0	2022-05-18 10:30:32 -04:00
leo2
leo3
lingeling
logisim
logisim-evolution
ltl2ba
mcrl2
mcy
metis-prover
minisat
monosat	python3Packages.monosat: disable failing tests	2022-05-11 18:29:58 -06:00
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	opensmt: 2.3.0 -> 2.3.1	2022-03-17 18:40:58 +00:00
ott	ott: 0.31 -> 0.32	2022-03-12 18:31:38 +00:00
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	tlaplusToolbox: use non-binary wrapper for wrapGAppsHook	2022-05-10 15:13:58 +02: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