Maintenance status?
Has this repo been abandoned? It's still linked to from the cargo-crev wiki: https://github.com/crev-dev/cargo-crev/wiki/List-of-Proof-Repositories#list-of-repositories (which might be a problem on their end to address).
Since #6 hasn't been addressed and the CI pipeline has been red for more than three years, things are looking grim over here.