Commit Graph

42 Commits

Author SHA1 Message Date
Kevin Rauscher
53683c2b86 metals: 0.11.7 -> 0.11.8 2022-08-29 08:14:31 +02:00
Kevin Rauscher
f49a09b5a2 metals: remove client specific wrappers 2022-07-19 21:54:06 +02:00
Kevin Rauscher
e84435878c metals: 0.11.6 -> 0.11.7 2022-07-19 13:59:22 +02:00
Filipe Regadas
5604839404
metals: 0.11.5 -> 0.11.6 2022-06-03 16:54:33 +01:00
Fabián Heredia Montiel
b45b15cddd metals: 0.11.4 → 0.11.5 2022-05-06 13:38:54 -05:00
Kévin Rauscher
24c33ab795
metals: 0.11.2 -> 0.11.4 (#171127) 2022-05-02 21:40:48 -05:00
Kevin Rauscher
a335d1ba1c metals: 0.11.1 -> 0.11.2 2022-03-09 09:36:19 +01:00
amesgen
fdb290acbc
metals: 0.11.0 -> 0.11.1 2022-01-20 18:53:16 +01:00
Kevin Rauscher
d2f5243514 metals: 0.10.9 -> 0.11.0 2022-01-13 08:16:20 +01:00
Fabián Heredia Montiel
60461a594b metals: 0.10.8 → 0.10.9 2021-11-03 11:02:31 -06:00
Fabián Heredia Montiel
e1574724c1 metals: update FOD hash after dependency changes 2021-11-02 11:09:11 -07:00
Cody Allen
5001cc7385
metals: remove maintainer ceedubs (me)
I no longer use Scala/Metals, so I'm not a good maintainer for this package. Luckily fabianhjr and tomahna do a great job keeping it up to date 🎉
2021-11-02 07:25:09 -07:00
Fabián Heredia Montiel
10729123d2 metals: add fabianhjr as maintainer 2021-10-28 19:45:08 -05:00
Fabián Heredia Montiel
d0fa01a269 metals: 0.10.7 → 0.10.8 2021-10-28 19:42:15 -05:00
Fabián Heredia Montiel
16c505e87e metals: 0.10.6 → 0.10.7 2021-10-16 12:45:03 -05:00
Kevin Rauscher
a6079f8331
metals: 0.10.5 -> 0.10.6 2021-09-07 10:09:50 +02:00
davidak
d5c4c62e5c
Merge pull request #131561 from Tomahna/metals
metals: 0.10.4 -> 0.10.5
2021-08-02 07:18:05 +02:00
Felix Buehler
f1227527ad metals: deprecate phases 2021-07-27 14:37:10 +02:00
Kevin Rauscher
babb32f492
metals: 0.10.4 -> 0.10.5 2021-07-26 11:39:40 +02:00
Kevin Rauscher
7c6cfaa13c
metals: 0.10.3 -> 0.10.4 2021-06-01 09:10:23 +02:00
Fabián Heredia Montiel
4826ef3c77 metals: 0.10.2 → 0.10.3 2021-05-19 11:39:31 -07:00
Kevin Rauscher
fb580e732f
metals: 0.10.1 -> 0.10.2 2021-04-21 19:56:22 +02:00
Kevin Rauscher
92f5917c43
metals: 0.10.0 -> 0.10.1 2021-04-10 10:07:11 +02:00
Max Gonzih
cec4ee2ebe
metals: 0.9.10 -> 0.10.0 2021-02-24 11:34:46 -05:00
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