search

idris-community / inigo

Inigo: A Package Manager for Idris2
https://inigo.pm
MIT License
60 stars 7 forks source link

idrall submodule points to a wrong commit #36

Closed JankaGramofonomanka closed 2 years ago

JankaGramofonomanka commented 2 years ago

I tried to build the project, following the README, and I could not build the idrall submodule. When I updated it to the latest commit (13ef174), it worked.

alexhumphreys commented 2 years ago

https://github.com/idris-community/inigo/pull/34 Aye there's a PR to update it here. Though it's been a while, I probably have to bump the version again

alexhumphreys commented 2 years ago

this should be fixed on main thanks to https://github.com/idris-community/inigo/pull/38, can you try again and see if it works?

JankaGramofonomanka commented 2 years ago

I tried again and it works.