rocq-9.3.0-2.fc45
failedDescription
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.
RPMs
No RPMs
Changelog
* Sun Sep 27 2026 Jerry James <loganjerry@gmail.com> - 9.3.0-2 - Disable native compilation for aarch64 * Sun Sep 27 2026 Jerry James <loganjerry@gmail.com> - 9.3.0-1 - Version 9.3.0 - Drop upstreamed dune patch * Tue Sep 15 2026 Richard W.M. Jones <rjones@redhat.com> - 9.2.0-4 - OCaml 5.5.1 rebuild * Thu Jul 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 9.2.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild * Thu Jul 09 2026 Jerry James <loganjerry@gmail.com> - 9.2.0-2 - OCaml 5.5.0 rebuild - Add patch to adapt to dune 3.24 - Fix rocq.xml * Thu Apr 16 2026 Jerry James <loganjerry@gmail.com> - 9.2.0-1 - Version 9.2.0 - Drop upstreamed documentation patch - Enable the native compiler for x86_64 * Fri Mar 20 2026 Jerry James <loganjerry@gmail.com> - 9.1.1-1 - Initial RPM