eayus / sirdi

Package manager for Idris
GNU General Public License v3.0
35 stars 11 forks source link

Build with Idris2 0.5.1 #24

Closed mixphix closed 2 years ago

mixphix commented 2 years ago

There's only two things stopping master from compiling with 0.5.1, the last released version of the language; one which a package manager for that language should generally support.