staversion gives me for a resolver the version of a package. However, I'd like to know the resolver, given a versioned package. E.g.
$ staversion Agda-2.6.3
nightly-2023-03-10
$ staversion Agda-2.6.2.2
lts-20.13
I think staversion doesn't serve this direction yet, so this is a feature request.
Or is there a tool yet that does this?
staversiongives me for a resolver the version of a package. However, I'd like to know the resolver, given a versioned package. E.g.I think
staversiondoesn't serve this direction yet, so this is a feature request.Or is there a tool yet that does this?