Felix Schröter 1843807ba3 sad: remove old, unmaintained package ... The package isn't maintained and hasn't been exposed for a while. Meanwhile there's been added a new package with the same name. This change doesn't touch the new package.		2023-04-20 11:26:01 +02:00
..
abc	abc-verifier: unstable-2023-02-04 -> unstable-2023-02-23	2023-03-12 18:10:19 -05:00
abella	treewide: add strictDeps = true to most packages depending on ocaml	2023-02-03 08:59:34 +01:00
acgtk	acgtk: use Dune 3	2023-03-21 13:05:53 +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
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	coq: 8.16.1 -> 8.17.0	2023-03-28 08:13:12 +02: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	cubicle: set env instead of postPatch	2023-03-05 01:44:26 +02:00
cvc3
cvc4	cvc4: Fix build failure from new bash 5.2 feature	2023-02-18 14:07:28 -06:00
cvc5	cvc5: 1.0.4 -> 1.0.5	2023-03-25 01:00:12 +00:00
drat-trim
easycrypt	why3: 1.5.1 → 1.6.0; ocamlPackages.lambdapi: 2.2.1 → 2.3.1 (#220986)	2023-03-20 20:45:47 +01:00
ekrhyper	treewide: add strictDeps = true to most packages depending on ocaml	2023-02-03 08:59:34 +01:00
elan
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: 4.1 -> 4.2.1	2023-03-18 22:17:16 +02: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: add aarch64-linux support	2023-03-07 18:20:46 +02: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	leo2: add darwin support	2023-03-07 00:10:09 +02:00
leo3
lingeling
logisim
logisim-evolution
ltl2ba
mcrl2
mcy
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
nusmv
nuXmv
open-wbo
opensmt	opensmt: 2.4.3 -> 2.5.0	2023-04-11 10:26:10 +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
prooftree	treewide: add strictDeps = true to most packages depending on ocaml	2023-02-03 08:59:34 +01:00
prover9
proverif	treewide: add strictDeps = true to most packages depending on ocaml	2023-02-03 08:59:34 +01:00
redprl
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	tamarin-prover: Allow compiling with maude-3.3	2023-04-05 14:39:55 +08:00
tlaplus	treewide: add strictDeps = true to most packages depending on ocaml	2023-02-03 08:59:34 +01:00
tptp
twelf
uhdm
vampire	vampire: unbreak on aarch64-linux	2023-03-05 02:21:12 +02:00
verifast
verit
why3	why3: 1.5.1 → 1.6.0; ocamlPackages.lambdapi: 2.2.1 → 2.3.1 (#220986)	2023-03-20 20:45:47 +01:00
workcraft	workcraft: 3.3.8 -> 3.3.9	2022-12-30 23:45:14 +08:00
yices	yices: fix typo in comment	2023-03-22 16:08:09 +01:00
z3	Merge pull request #217974 from pxrl/pxrl/z3	2023-04-17 10:03:07 -05:00
zchaff