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	abc-verifier: unstable-2023-09-13 -> unstable-2023-10-13	2023-11-08 15:21:35 +01:00
abella	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
acgtk	acgtk: 1.5.4 → 2.0.0	2023-11-30 05:37:04 +01:00
aiger	Merge master into staging-next	2023-11-11 18:00:58 +00:00
alt-ergo	alt-ergo: fix build on darwin	2023-12-17 16:12:48 +01:00
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	eprover: 3.0 -> 3.0.03	2023-12-09 18:57:23 +00:00
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	hol_light: 2023-07-21 → 2023-11-03	2023-11-20 07:03:45 +01:00
iprover	iprover: 3.1 → 3.8.1	2024-01-10 06:33:50 +01:00
isabelle	isabelle-linter: 1.2.1 -> 2023-1.0.0	2023-12-10 02:27:06 +01:00
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	treewide: fix redirected and broken URLs	2023-11-11 10:49:01 +01:00
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	proverif: 2.04 → 2.05	2023-10-23 12:07:37 +02:00
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	surelog: 1.76 -> 1.80	2023-11-29 13:18:33 -06:00
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	uhdm: 1.77 -> 1.80	2023-11-29 13:18:33 -06:00
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