Alyssa Ross 2bfa93e01c treewide: python{ => .pythonForBuild}.interpreter ... It won't be enough to fix cross in all cases, but it is in at least one: pywayland. I've only made the change in cases I'm confident it's correct, as it would be wrong to change this when python.interpreter is used in wrappers, and possibly when it's used for running tests.		2023-02-26 20:26:17 +00:00
..
abc	abc-verifier: unstable-2022-11-09 -> unstable-2023-02-04	2023-02-22 02:04:23 +01:00
abella	treewide: add strictDeps = true to most packages depending on ocaml	2023-02-03 08:59:34 +01:00
acgtk	ocamlPackages treewide: strictDeps all packages	2023-02-03 08:59:34 +01:00
aiger
alt-ergo	alt-ergo: fix src URL	2023-01-30 10:00:41 +01:00
anders	anders: use Dune 3	2023-01-15 12:13:06 +01:00
aspino	aspino: remove patchShebangs	2022-11-25 16:48:27 +01:00
avy	treewide: move NIX_CFLAGS_COMPILE to the env attrset	2023-02-22 21:23:04 +02:00
beluga	Merge pull request #210884 from vbgl/beluga-dune-3	2023-01-22 02:22:57 +01:00
bitwuzla	treewide: switch to nativeCheckInputs	2023-01-21 12:00:00 +00:00
boolector	treewide: switch to nativeCheckInputs	2023-01-21 12:00:00 +00:00
btor2tools
cadical	cadical: 1.5.0 -> 1.5.3	2022-09-26 00:00:17 +09:00
cbmc	treewide: env.NIX_CFLAGS_COMPILE use toString on result of optionals	2023-02-22 21:23:05 +02:00
cedille	treewide: {build,host,target}Platform -> stdenv.{build,host,target}Platform	2023-01-09 21:13:22 +02:00
celf
clprover
coq	treewide: use optionalString	2023-02-13 21:52:34 +01:00
cryptominisat	cryptominisat: 5.8.0 -> 5.11.4	2023-02-24 09:32:00 +01:00
cryptoverif	treewide: add strictDeps = true to most packages depending on ocaml	2023-02-03 08:59:34 +01:00
cubicle	treewide: replace http by https when https is a permanent redirection	2023-01-22 02:46:49 +01:00
cvc3	cvc3: reenable stackprotector on aarch64-darwin	2022-08-25 19:11:45 -07:00
cvc4	cvc4: Fix build failure from new bash 5.2 feature	2023-02-18 14:07:28 -06:00
cvc5	cvc5: 1.0.3 → 1.0.4	2023-02-22 07:07:13 +01:00
drat-trim
easycrypt	easycrypt-runtest: use other format	2022-09-19 16:05:27 +02:00
ekrhyper	treewide: add strictDeps = true to most packages depending on ocaml	2023-02-03 08:59:34 +01:00
elan	elan: 1.4.1 -> 1.4.2	2022-09-13 11:02:26 +02:00
eprover
fast-downward	fast-downward: 22.06.1 -> 22.12.0	2022-12-17 07:45:23 +00:00
formula	treewide: update all dotnet lockfiles	2022-12-19 15:36:25 -04:00
gappa
glucose	glucose: fix build on aarch64-linux	2022-11-25 16:48:03 +01:00
hol
hol_light	treewide: add strictDeps = true to most packages depending on ocaml	2023-02-03 08:59:34 +01:00
iprover	treewide: add strictDeps = true to most packages depending on ocaml	2023-02-03 08:59:34 +01:00
isabelle	isabelle: fix build on MacOS	2022-12-06 18:05:26 +00:00
key
kissat	treewide: switch to nativeCheckInputs	2023-01-21 12:00:00 +00:00
klee	treewide: move NIX_CFLAGS_COMPILE to the env attrset	2023-02-22 21:23:04 +02:00
lci
lean	lean: 3.50.2 -> 3.50.3	2022-12-26 19:05:40 -03:00
lean2
leo2	treewide: add strictDeps = true to most packages depending on ocaml	2023-02-03 08:59:34 +01:00
leo3
lingeling
logisim
logisim-evolution	logisim-evolution: 3.7.2 -> 3.8.0	2022-10-03 17:42:45 +00:00
ltl2ba
mcrl2	mcrl2: 201707 -> 202206	2022-07-27 01:25:01 -04:00
mcy	pkgs.applications: remove unused args	2022-10-12 16:00:16 +02:00
metis-prover	treewide: replace http by https when https is a permanent redirection	2023-01-22 02:46:49 +01:00
minisat
monosat	treewide: switch to nativeCheckInputs	2023-01-21 12:00:00 +00:00
naproche	naproche: 2022-04-19 -> 2022-10-24	2022-10-26 12:10:09 +01:00
nusmv	nusmv: init at 2.6.0	2022-10-16 18:21:19 +02:00
nuXmv
open-wbo
opensmt	opensmt: 2.4.2 -> 2.4.3	2022-11-22 20:15:56 +00:00
ott	treewide: add strictDeps = true to most packages depending on ocaml	2023-02-03 08:59:34 +01:00
petrinizer	petrinizer: mark as broken because sbv no longer builds	2022-12-24 16:05:31 +09:00
picosat
poly
potassco	clingo: 5.6.1 -> 5.6.2	2022-11-07 17:55:20 +00:00
prooftree	treewide: add strictDeps = true to most packages depending on ocaml	2023-02-03 08:59:34 +01:00
prover9	licenses: remove gpl1	2022-09-29 10:54:21 +02:00
proverif	treewide: add strictDeps = true to most packages depending on ocaml	2023-02-03 08:59:34 +01:00
redprl
sad
satallax	treewide: move NIX_CFLAGS_COMPILE to the env attrset	2023-02-22 21:23:04 +02:00
saw-tools
spass
statverif	treewide: add strictDeps = true to most packages depending on ocaml	2023-02-03 08:59:34 +01:00
stp
surelog	surelog: use latest OpenJDK	2022-11-25 20:10:49 -08:00
symbiyosys	treewide: switch to nativeCheckInputs	2023-01-21 12:00:00 +00:00
symfpu
tamarin-prover
tlaplus	treewide: add strictDeps = true to most packages depending on ocaml	2023-02-03 08:59:34 +01:00
tptp
twelf
uhdm	uhdm: 0.9.1.40 -> 1.45	2022-11-08 12:47:14 -08:00
vampire
verifast
verit
why3	treewide: add strictDeps = true to most packages depending on ocaml	2023-02-03 08:59:34 +01:00
workcraft	workcraft: 3.3.8 -> 3.3.9	2022-12-30 23:45:14 +08:00
yices	treewide:replace http by https when https is a permanent redirection	2023-02-19 21:47:59 +01:00
z3	treewide: python{ => .pythonForBuild}.interpreter	2023-02-26 20:26:17 +00:00
zchaff