Commit message (Expand) | Author | Age | |
---|---|---|---|
* | metals: 0.11.1 -> 0.11.2 | Kevin Rauscher | 2022-03-09 |
* | metals: 0.11.0 -> 0.11.1 | amesgen | 2022-01-20 |
* | metals: 0.10.9 -> 0.11.0 | Kevin Rauscher | 2022-01-13 |
* | metals: 0.10.8 → 0.10.9 | Fabián Heredia Montiel | 2021-11-03 |
* | metals: update FOD hash after dependency changes | Fabián Heredia Montiel | 2021-11-02 |
* | metals: remove maintainer ceedubs (me) | Cody Allen | 2021-11-02 |
* | metals: add fabianhjr as maintainer | Fabián Heredia Montiel | 2021-10-28 |
* | metals: 0.10.7 → 0.10.8 | Fabián Heredia Montiel | 2021-10-28 |
* | metals: 0.10.6 → 0.10.7 | Fabián Heredia Montiel | 2021-10-16 |
* | metals: 0.10.5 -> 0.10.6 | Kevin Rauscher | 2021-09-07 |
* | Merge pull request #131561 from Tomahna/metals | davidak | 2021-08-02 |
|\ | |||
| * | metals: 0.10.4 -> 0.10.5 | Kevin Rauscher | 2021-07-26 |
* | | metals: deprecate phases | Felix Buehler | 2021-07-27 |
|/ | |||
* | metals: 0.10.3 -> 0.10.4 | Kevin Rauscher | 2021-06-01 |
* | metals: 0.10.2 → 0.10.3 | Fabián Heredia Montiel | 2021-05-19 |
* | metals: 0.10.1 -> 0.10.2 | Kevin Rauscher | 2021-04-21 |
* | metals: 0.10.0 -> 0.10.1 | Kevin Rauscher | 2021-04-10 |
* | metals: 0.9.10 -> 0.10.0 | Max Gonzih | 2021-02-24 |
* | metals: 0.9.8 -> 0.9.10 | Kevin Rauscher | 2021-01-19 |
* | treewide: with stdenv.lib; in meta -> with lib; | Profpatsch | 2021-01-11 |
* | metals: 0.9.7 -> 0.9.8 | Kevin Rauscher | 2020-12-21 |
* | metals: 0.9.6 -> 0.9.7 | Kevin Rauscher | 2020-11-27 |
* | metals: 0.9.5 -> 0.9.6 | Kevin Rauscher | 2020-11-20 |
* | metals: 0.9.4 -> 0.9.5 | Kevin Rauscher | 2020-11-11 |
* | metals: 0.9.3 -> 0.9.4 | Kevin Rauscher | 2020-09-22 |
* | metals: 0.9.2 -> 0.9.3 | Kevin Rauscher | 2020-08-19 |
* | metals: 0.9.1 -> 0.9.2 | Kevin Rauscher | 2020-07-16 |
* | metals: 0.9.0 -> 0.9.1 | Kevin Rauscher | 2020-07-03 |
* | metals: provide client-agnostic flavor | Timo Kaufmann | 2020-05-28 |
* | metals: 0.8.4 -> 0.9.0 | Cody Allen | 2020-05-06 |
* | metals: 0.8.3 -> 0.8.4 | Kevin Rauscher | 2020-04-21 |
* | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 |
* | metals: 0.8.2 -> 0.8.3 | Kevin Rauscher | 2020-03-20 |
* | metals: 0.8.1 -> 0.8.2 | Kevin Rauscher | 2020-03-19 |
* | metals: 0.7.6 -> 0.8.1 | Olli Helenius | 2020-03-12 |
* | metals: init at 0.7.6 | Kevin Rauscher | 2019-09-24 |