update packages & idris 0.6.0 - Githubissues

claymager / idris2-pkgs

An unofficial Idris2 package repository for Nix

MIT License

46 stars 13 forks source link

update packages & idris 0.6.0 #20

Open lizard-business opened 2 years ago

lizard-business commented 2 years ago

full changes:

idris 0.6.0
all packages updated to their current state
idris-server renamed to recombine
algae added (new dependency of recombine)
tiny fix to inigo due to a removed module in idrall: https://github.com/idris-community/inigo/pull/45

[marked as draft, since inigo refers to my fork until the above PR gets merged]