Fri, 30 Oct 2026 06:47:12 UTC | login

Information for build flocq-4.2.2-7.fc45

ID23587
Package Nameflocq
Version4.2.2
Release7.fc45
Epoch
DraftFalse
Sourcegit+https://src.fedoraproject.org/rpms/flocq.git#6f72684525dd712e5ca5ba39ac527c8b9385eb04
SummaryFormalization of floating point numbers for Coq
DescriptionFlocq (Floats for Rocq) is a floating-point formalization for the Rocq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Rocq.
git:https://gitlab.inria.fr/flocq/flocq.git
Built byguoguo
State failed
Volume DEFAULT
StartedThu, 29 Oct 2026 17:21:25 UTC
CompletedThu, 29 Oct 2026 17:28:05 UTC
Taskbuild (f45, /rpms/flocq.git:6f72684525dd712e5ca5ba39ac527c8b9385eb04)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/flocq.git#6f72684525dd712e5ca5ba39ac527c8b9385eb04'}}
Tags No tags
RPMs No RPMs
Changelog * Sun Sep 27 2026 Jerry James <loganjerry@gmail.com> - 4.2.2-7 - Rebuild for rocq 9.3.0 * Tue Sep 15 2026 Richard W.M. Jones <rjones@redhat.com> - 4.2.2-6 - OCaml 5.5.1 rebuild * Wed Jul 29 2026 Jerry James <loganjerry@gmail.com> - 4.2.2-5 - Rebuild to fix rocq dependencies * Wed Jul 15 2026 Fedora Release Engineering <releng@fedoraproject.org> - 4.2.2-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild * Thu Jul 09 2026 Jerry James <loganjerry@gmail.com> - 4.2.2-3 - OCaml 5.5.0 rebuild * Thu Apr 16 2026 Jerry James <loganjerry@gmail.com> - 4.2.2-2 - Rebuild for rocq 9.2.0 * Fri Mar 20 2026 Jerry James <loganjerry@gmail.com> - 4.2.2-1 - Version 4.2.2 * Fri Feb 20 2026 Richard W.M. Jones <rjones@redhat.com> - 4.2.1-9 - OCaml 5.4.1 rebuild * Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 4.2.1-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Mon Jan 12 2026 Jerry James <loganjerry@gmail.com> - 4.2.1-7 - Reflow the description text * Tue Oct 14 2025 Richard W.M. Jones <rjones@redhat.com> - 4.2.1-6 - OCaml 5.4.0 rebuild * Fri Aug 22 2025 Jerry James <loganjerry@gmail.com> - 4.2.1-5 - Bump and rebuild * Sun Aug 10 2025 Jerry James <loganjerry@gmail.com> - 4.2.1-4 - Bump and rebuild * Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 4.2.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Sat Jul 12 2025 Jerry James <loganjerry@gmail.com> - 4.2.1-2 - Rebuild to fix OCaml dependencies * Thu Feb 13 2025 Jerry James <loganjerry@gmail.com> - 4.2.1-1 - Version 4.2.1 * Wed Jan 22 2025 Jerry James <loganjerry@gmail.com> - 4.2.0-5 - Rebuild for coq 8.20.1 * Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 4.2.0-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Fri Jan 10 2025 Jerry James <loganjerry@gmail.com> - 4.2.0-3 - OCaml 5.3.0 rebuild for Fedora 42