stuebinm ff1a94e523 treewide: add meta.mainProgram to packages with a single binary ... The nixpkgs-unstable channel's programs.sqlite was used to identify packages producing exactly one binary, and these automatically added to their package definitions wherever possible.		2024-03-19 03:14:51 +01:00
..
abc
abella	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
acgtk
aiger
alt-ergo
anders	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
aspino
avy
beluga
bitwuzla	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
boolector	boolector: 3.2.2 -> 3.2.3 + upstream patch for C++14 compatibility.	2024-02-22 19:48:14 +00:00
btor2tools	btor2tools: fix build with gcc 13	2024-01-29 21:35:06 +01:00
cadical	cadical: 1.9.4 -> 1.9.5	2024-03-06 15:23:48 +00:00
cbmc
cedille
celf	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
clprover	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
coq	coq_8_19: 8.19.0 → 8.19.1	2024-03-12 05:49:59 +01:00
cryptominisat	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
cryptoverif	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
cubicle	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
cvc3	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
cvc4	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
cvc5	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
dafny	dafny: 4.4.0 -> 4.5.0	2024-03-17 12:30:18 -04:00
drat-trim
easycrypt	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
egglog	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
ekrhyper
elan	Revert "elan: revert temporary directory creation"	2024-03-09 16:50:49 +01:00
eprover
fast-downward	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
formula
gappa	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
glucose	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
hol
hol_light
iprover	iprover: 3.1 → 3.8.1	2024-01-10 06:33:50 +01:00
isabelle
key
kissat	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
klee
lci	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
lean	lean3: fix gcc-13 build failure)	2024-02-11 19:47:22 +00:00
lean2
lean4	lean4: 4.6.0 -> 4.6.1	2024-03-04 04:20:00 +00:00
leo2	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
leo3	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
lingeling
logisim	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
logisim-evolution	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
ltl2ba	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
mcrl2	mcrl2: 202206 -> 202307	2024-02-10 10:14:43 +00:00
mcy
metis-prover	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
minisat
monosat	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
msat	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
naproche	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
netlistsvg
nusmv
nuXmv
open-wbo	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
opensmt	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
ott	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
petrinizer
picosat
poly
potassco	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
prooftree	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
prover9
proverif
redprl	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
satallax	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
saw-tools
sharpsat-td
spass
statverif
stp	Merge pull request #288470 from McSinyx/stp-u8	2024-02-15 23:07:44 +01:00
surelog
symbiyosys
symfpu
tamarin-prover
tlaplus	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
tptp
twelf
uhdm
vampire	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
verifast
verit
why3	why3: move the OCaml library to its own dev output	2024-01-29 09:40:12 +01:00
workcraft	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
yices
z3	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
zchaff	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00