Sun, 08 Nov 2026 23:32:36 UTC Log in

rocq-stdlib-9.2.0-1.fc45

failed
The Rocq proof assistant standard library built by guoguo completed Fri, 30 Oct 2026 00:16:31 UTC
Task 125678

Description

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. This package includes the Rocq Standard Library, that is to say, the set of modules usually bound to the Stdlib.* namespace.

RPMs

No RPMs

Changelog

* Sun Sep 27 2026 Jerry James <loganjerry@gmail.com> - 9.2.0-1
- Version 9.2.0
- Drop upstreamed dune patch

* Tue Sep 15 2026 Richard W.M. Jones <rjones@redhat.com> - 9.1.0-6
- OCaml 5.5.1 rebuild

* Wed Jul 29 2026 Jerry James <loganjerry@gmail.com> - 9.1.0-5
- Rebuild to fix rocq dependencies

* Thu Jul 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 9.1.0-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild

* Thu Jul 09 2026 Jerry James <loganjerry@gmail.com> - 9.1.0-3
- OCaml 5.5.0 rebuild
- Use the dune declarative buildsystem
- Add patch for dune 3.24 compatibility

* Thu Apr 16 2026 Jerry James <loganjerry@gmail.com> - 9.1.0-2
- Rebuild for rocq 9.2.0

* Fri Mar 20 2026 Jerry James <loganjerry@gmail.com> - 9.1.0-1
- Initial RPM