issues
search
idris-community
/
inigo
Inigo: A Package Manager for Idris2
https://inigo.pm
MIT License
60
stars
7
forks
source link
Fix `HasDeps` instance for `Package`
#29
Closed
Z-snails
closed
3 years ago
Z-snails
commented
3 years ago
Regular deps didn't generate the correct patj
Fixes error in #28
Regular deps didn't generate the correct patj
Fixes error in #28