Spec URL: https://jjames.fedorapeople.org/rocq/rocq.spec SRPM URL: https://jjames.fedorapeople.org/rocq/rocq-9.1.1-1.fc45.src.rpm Fedora Account System Username: jjames Description: This is a rename request. The current package name is coq. Rocq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, or the Bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem or homotopy type theory) and teaching. Test builds for (and using) this package have been done in a COPR: https://copr.fedorainfracloud.org/coprs/jjames/Rocq9/builds/. I am willing to swap reviews.
Copr build: https://copr.fedorainfracloud.org/coprs/build/10205104 (succeeded) Review template: https://download.copr.fedorainfracloud.org/results/@fedora-review/fedora-review-2445873-rocq/fedora-rawhide-x86_64/10205104-rocq/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.