Spec URL: https://github.com/zacikpa/review-requests/raw/main/proverif/proverif.spec SRPM URL: https://github.com/zacikpa/review-requests/raw/main/proverif/proverif-2.04-1.fc40.src.rpm Description: ProVerif is an automatic cryptographic protocol verifier, in the formal model (so called Dolev-Yao model). This protocol verifier is based on a representation of the protocol by Horn clauses. Fedora Account System Username: pzacik
Copr build: https://copr.fedorainfracloud.org/coprs/build/6519822 (succeeded) Review template: https://download.copr.fedorainfracloud.org/results/@fedora-review/fedora-review-2243662-proverif/fedora-rawhide-x86_64/06519822-proverif/fedora-review/review.txt Please take a look if any issues were found. --- This comment was created by the fedora-review-service https://github.com/FrostyX/fedora-review-service If you want to trigger a new Copr build, add a comment containing new Spec and SRPM URLs or [fedora-review-service-build] string.
Since the license contains an invalid address of the Free Software Foundation (see rpmlint results in the review template), I contacted upstream with a request to change it. I'm, however, not sure, whether this license issue is a blocker or not.