Profpatsch 4a7f99d55d treewide: with stdenv.lib; in meta -> with lib; ... Part of: https://github.com/NixOS/nixpkgs/issues/108938 meta = with stdenv.lib; is a widely used pattern. We want to slowly remove the `stdenv.lib` indirection and encourage people to use `lib` directly. Thus let’s start with the meta field. This used a rewriting script to mostly automatically replace all occurances of this pattern, and add the `lib` argument to the package header if it doesn’t exist yet. The script in its current form is available at https://cs.tvl.fyi/depot@2f807d7f141068d2d60676a89213eaa5353ca6e0/-/blob/users/Profpatsch/nixpkgs-rewriter/default.nix		2021-01-11 10:38:22 +01:00
..
abc	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
abella
acgtk	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
aiger
alt-ergo
aspino	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
avy	treewide: cmake buildInputs to nativeBuildInputs, minor cleanups	2021-01-01 11:52:33 +07:00
beluga
boolector	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
btor2tools	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
cadical	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
cedille	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
celf	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
clprover	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
coq	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
coq2html	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
cryptominisat	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
cryptoverif	cryptoverif: 2.03pl1 → 2.04	2020-12-18 08:20:10 +01:00
cubicle	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
cvc3	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
cvc4	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
drat-trim	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
ekrhyper
elan
eprover	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
fast-downward	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
gappa
glucose	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
hol	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
hol_light	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
iprover	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
isabelle	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
jonprl
key	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
lci
lean	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
lean2	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
leo2	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
leo3
lingeling	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
logisim
ltl2ba
mcrl2	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
mcy
metis-prover	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
minisat	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
monosat	treewide: cmake buildInputs to nativeBuildInputs, minor cleanups	2021-01-01 11:52:33 +07:00
open-wbo	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
opensmt	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
ott	ott: Don't also install emacs mode	2021-01-05 14:41:52 -05:00
otter
petrinizer
picosat
poly	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
potassco	clingo: 5.4.0 -> 5.4.1	2020-12-07 13:03:03 +00:00
prooftree	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
prover9
proverif	proverif: install emacs mode	2020-11-29 14:05:14 +01:00
redprl
sad
satallax
saw-tools
spass	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
statverif
stp	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
symbiyosys
tamarin-prover
tlaplus	Merge pull request #92646 from r-ryantm/auto-update/tla-toolbox	2020-11-29 04:01:21 +01:00
tptp	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
twelf
vampire	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
verifast
verit	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
why3	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
workcraft	workcraft: 3.3.1 -> 3.3.2	2020-11-27 01:53:34 +00:00
yices	treewide: with stdenv.lib; in meta -> with lib;	2021-01-11 10:38:22 +01:00
z3	z3: enable build on non-x86_64 unix; checked the build on aarch64-linux	2020-11-27 11:52:07 +01:00