search

leanprover / elan

The Lean version manager
Apache License 2.0
292 stars 34 forks source link

fix: avoid creating unsupported tars #94

Closed Kha closed 1 year ago

Kha commented 1 year ago

Fixes #78