Skip to content

Reverse lookup: deliver snapshots for package version #9

@andreasabel

Description

@andreasabel

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?

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions