aleksana 571c71e6f7 treewide: migrate packages to pkgs/by-name, take 1 ... We are migrating packages that meet below requirements: 1. using `callPackage` 2. called path is a directory 3. overriding set is empty (`{ }`) 4. not containing path expressions other than relative path (to makenixpkgs-vet happy) 5. not referenced by nix files outside of the directory, other than`pkgs/top-level/all-packages.nix` 6. not referencing nix files outside of the directory 7. not referencing `default.nix` (since it's changed to `package.nix`) 8. `outPath` doesn't change after migration The tool is here: https://github.com/Aleksanaa/by-name-migrate.		2024-11-09 20:04:51 +08:00
..
abella
avy
cedille
clprover
coq	ocamlPackages.elpi: use release tarball (#343266)	2024-09-23 09:52:07 +02:00
cubicle
cvc3
cvc5	cvc5: enable tests	2024-08-18 14:56:37 +01:00
easycrypt	easycrypt: 2024.01 → 2024.09	2024-10-03 06:20:12 +02:00
ekrhyper
eprover
glucose
hol_light
klee
leo2
leo3
potassco
prooftree
satallax	treewide: replace stdenv.is with stdenv.hostPlatform.is	2024-09-25 00:04:37 +03:00
spass
statverif
tamarin-prover	tamarin-prover: 1.8.0 → 1.10.0	2024-11-05 10:01:53 +01:00
tlaplus	tlaplus: 1.7.3 -> 1.7.4	2024-08-14 08:30:57 +00:00
vampire
verit
why3
yices
z3	z3: remove 'with lib;'	2024-08-16 16:09:03 +02:00