As the packager of nqptp for nixpkgs, it would be really helpful if you could add a git tag corresponding to the development release notes. It is our convention to use the date of the commit when a tag does not exist. Thus the nixpkgs version displayed does not match well with your (fantastic!) release notes.
As the packager of nqptp for nixpkgs, it would be really helpful if you could add a git tag corresponding to the development release notes. It is our convention to use the date of the commit when a tag does not exist. Thus the nixpkgs version displayed does not match well with your (fantastic!) release notes.