idris2-pack

[ fix, compat ] adjust example 1 to latest changes in the totality checker (#265)

[ err ] Report a not found package from the `bin` script nicely (#263)

[ doc ] Mention `packagePath` in the readme (#264)

[ gc ] Make `gc` command to not to clean up too much (#262)

[ doc ] add C-compiler to install docs (#261)