bundling Lean in package managers

Stream: general

[Scott Morrison]

Currently brew provides a recipe for lean, which installs some fixed (and so inevitably out of date) version of Lean. This is really unhelpful, and we've seen a bunch of people stuck with bad installations as a result of using this.