Jonas Chevalier c6b62f2381 mkShell: introduce packages argument (#122180) ... The distinction between the inputs doesn't really make sense in the mkShell context. Technically speaking, we should be using the nativeBuildInputs most of the time. So in order to make this function more beginner-friendly, add "packages" as an attribute, that maps to nativeBuildInputs. This commit also updates all the uses in nixpkgs.		2021-05-13 19:17:29 +02:00
..
default.nix	mkShell: introduce packages argument (#122180)	2021-05-13 19:17:29 +02:00
lib.nix	agdaPackages.mkDerivation: don't install Everything module	2021-01-24 17:30:01 +01:00