idris2-pack icon indicating copy to clipboard operation
idris2-pack copied to clipboard

[feature request] support `latest` switch for option -p

Open ohad opened this issue 7 months ago • 2 comments

We can currently specify specific package collections using the -p option to pack. It would be nice to also support latest and fetch-latest as options, as we do for pack.toml files.

It might not be a huge thing to change, so even if you don't have the time to do it, feel free to sketch what needs changing and where. It might make a nice first-issue.

ohad avatar Jul 22 '24 16:07 ohad