Commit Graph

18 Commits

Author SHA1 Message Date
Kevin Rauscher
a491d9ee01 metals: 0.9.8 -> 0.9.10 2021-01-19 21:14:38 +01:00
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
Kevin Rauscher
50ee05fd43 metals: 0.9.7 -> 0.9.8 2020-12-21 10:51:19 +01:00
Kevin Rauscher
87ad0a0674 metals: 0.9.6 -> 0.9.7 2020-11-27 21:04:08 +01:00
Kevin Rauscher
22d4da8970 metals: 0.9.5 -> 0.9.6 2020-11-20 18:30:49 +01:00
Kevin Rauscher
5420cb2904 metals: 0.9.4 -> 0.9.5 2020-11-11 15:16:02 -08:00
Kevin Rauscher
308e245aba metals: 0.9.3 -> 0.9.4 2020-09-22 09:04:00 +02:00
Kevin Rauscher
371913ed69 metals: 0.9.2 -> 0.9.3 2020-08-19 22:50:31 +02:00
Kevin Rauscher
8a58662c40 metals: 0.9.1 -> 0.9.2 2020-07-16 23:31:28 +02:00
Kevin Rauscher
04eb79c8a9 metals: 0.9.0 -> 0.9.1 2020-07-03 18:50:01 +02:00
Timo Kaufmann
0e2456da82 metals: provide client-agnostic flavor 2020-05-28 17:43:00 +02:00
Cody Allen
f03e686f01 metals: 0.8.4 -> 0.9.0 2020-05-06 10:33:48 -07:00
Kevin Rauscher
080e82493b metals: 0.8.3 -> 0.8.4 2020-04-21 19:43:53 +02:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Kevin Rauscher
7fe795d366 metals: 0.8.2 -> 0.8.3 2020-03-20 13:22:33 +01:00
Kevin Rauscher
f311e4f04b metals: 0.8.1 -> 0.8.2 2020-03-19 20:21:39 +01:00
Olli Helenius
c924fe8b7e metals: 0.7.6 -> 0.8.1 2020-03-12 23:56:48 +00:00
Kevin Rauscher
9a966071d7 metals: init at 0.7.6 2019-09-24 09:04:38 +02:00