Commit Graph

38 Commits (8625c42776b7cd9152a36f2b1762d80b2a30ce4c)

Author SHA1 Message Date
Fabián Heredia Montiel b45b15cddd metals: 0.11.4 → 0.11.5 2 years ago
Kévin Rauscher 24c33ab795
metals: 0.11.2 -> 0.11.4 (#171127) 2 years ago
Kevin Rauscher a335d1ba1c metals: 0.11.1 -> 0.11.2 2 years ago
amesgen fdb290acbc
metals: 0.11.0 -> 0.11.1 2 years ago
Kevin Rauscher d2f5243514 metals: 0.10.9 -> 0.11.0 2 years ago
Fabián Heredia Montiel 60461a594b metals: 0.10.8 → 0.10.9 3 years ago
Fabián Heredia Montiel e1574724c1 metals: update FOD hash after dependency changes 3 years ago
Cody Allen 5001cc7385
metals: remove maintainer ceedubs (me) 3 years ago
Fabián Heredia Montiel fc6ccc25cc treewide: fix /bin/coursier references 3 years ago
Fabián Heredia Montiel 10729123d2 metals: add fabianhjr as maintainer 3 years ago
Fabián Heredia Montiel d0fa01a269 metals: 0.10.7 → 0.10.8 3 years ago
Fabián Heredia Montiel 16c505e87e metals: 0.10.6 → 0.10.7 3 years ago
Kevin Rauscher a6079f8331
metals: 0.10.5 -> 0.10.6 3 years ago
Felix Buehler f1227527ad metals: deprecate phases 3 years ago
Kevin Rauscher babb32f492
metals: 0.10.4 -> 0.10.5 3 years ago
Kevin Rauscher 7c6cfaa13c
metals: 0.10.3 -> 0.10.4 3 years ago
Fabián Heredia Montiel 4826ef3c77 metals: 0.10.2 → 0.10.3 3 years ago
Kevin Rauscher fb580e732f
metals: 0.10.1 -> 0.10.2 3 years ago
Kevin Rauscher 92f5917c43
metals: 0.10.0 -> 0.10.1 3 years ago
Max Gonzih cec4ee2ebe
metals: 0.9.10 -> 0.10.0 3 years ago
Kevin Rauscher a491d9ee01 metals: 0.9.8 -> 0.9.10 3 years ago
Profpatsch 4a7f99d55d treewide: with stdenv.lib; in meta -> with lib; 3 years ago
Kevin Rauscher 50ee05fd43 metals: 0.9.7 -> 0.9.8 4 years ago
Kevin Rauscher 87ad0a0674 metals: 0.9.6 -> 0.9.7 4 years ago
Kevin Rauscher 22d4da8970 metals: 0.9.5 -> 0.9.6 4 years ago
Kevin Rauscher 5420cb2904 metals: 0.9.4 -> 0.9.5 4 years ago
Kevin Rauscher 308e245aba metals: 0.9.3 -> 0.9.4 4 years ago
Kevin Rauscher 371913ed69 metals: 0.9.2 -> 0.9.3 4 years ago
Kevin Rauscher 8a58662c40 metals: 0.9.1 -> 0.9.2 4 years ago
Kevin Rauscher 04eb79c8a9 metals: 0.9.0 -> 0.9.1 4 years ago
Timo Kaufmann 0e2456da82 metals: provide client-agnostic flavor 4 years ago
Kevin Rauscher be619f0639 metals: 0.8.4 -> 0.9.0 4 years ago
Cody Allen f03e686f01 metals: 0.8.4 -> 0.9.0 4 years ago
Kevin Rauscher 080e82493b metals: 0.8.3 -> 0.8.4 4 years ago
Michael Reilly 84cf00f980
treewide: Per RFC45, remove all unquoted URLs 4 years ago
Kevin Rauscher 7fe795d366 metals: 0.8.2 -> 0.8.3 4 years ago
Kevin Rauscher f311e4f04b metals: 0.8.1 -> 0.8.2 4 years ago
Olli Helenius c924fe8b7e metals: 0.7.6 -> 0.8.1 4 years ago
Kevin Rauscher 9a966071d7 metals: init at 0.7.6 5 years ago