Non-numeric versions in elan

Stream: general

[Gabriel Ebner]

@Sebastian Ullrich How hard would it be / would you accept a PR to support non-numeric versions in elan? That is, something like lean +edayers/lean:widget where widget is a tag?

[Sebastian Ullrich]

That seems reasonable. Now that I already have an implementation in mind, I'll give it a try.

[Mario Carneiro]

Oh, lean is growing up faster than expected: https://github.com/leanprover-community/lean/releases/tag/v9.9.9

[Sebastian Ullrich]

I liked the we-love-bors release more

[Sebastian Ullrich]

In the end I went with the quick-n-dirty solution after all... https://github.com/Kha/elan/pull/23
Please give it a try if you actually have a non-numeric release