Anybody home?

[alexhumphreys]

Hi, hope all's well!

I've been doing a bit of work on the Idris package manager Inigo recently, and was thinking to try and make it use a package set for package resolution.

Maybe you're not in a position to contribute at the moment, and that's cool, but maybe you'd be able to give some ideas/advice on what would be needed on the package set side?

I assume from inigo's side package resolution wouldn't be so hard, it'd be a matter of "given a list of package dependencies and a version of the package set, grab the listed packages at their version as per the package set". But what's needed on the package set side, as regards updating/testing/maintaining the package set?

Any info on this would be appreciated!