Tue, 18 Feb 2025 16:33:46 UTC | login

Information for build flocq-3.2.0-1.fc31

ID123032
Package Nameflocq
Version3.2.0
Release1.fc31
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/flocq.git#6f0e592a8cb5d427d299f6f82e6374df889006b4
SummaryFormalization of floating point numbers for Coq
DescriptionFlocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.
Built bydavidlt
State failed
Volume DEFAULT
StartedSat, 21 Sep 2019 15:49:55 UTC
CompletedSat, 21 Sep 2019 16:23:13 UTC
Taskbuild (f31-candidate, /rpms/flocq.git:6f0e592a8cb5d427d299f6f82e6374df889006b4)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/flocq.git#6f0e592a8cb5d427d299f6f82e6374df889006b4'}}
Tags No tags
RPMs No RPMs
Changelog * Thu Aug 01 2019 Jerry James <loganjerry@gmail.com> - 3.2.0-1 - New upstream release * Wed Jul 31 2019 Richard W.M. Jones <rjones@redhat.com> - 3.1.0-3 - OCaml 4.08.1 (rc2) rebuild. * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 3.1.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Wed Jun 05 2019 Jerry James <loganjerry@gmail.com> - 3.1.0-1 - New upstream release * Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 3.0.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Sat Jan 26 2019 Jerry James <loganjerry@gmail.com> - 3.0.0-1 - New upstream release * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.0-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 2.6.0-8 - OCaml 4.07.0 (final) rebuild. * Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 2.6.0-7 - OCaml 4.07.0-rc1 rebuild. * Mon Feb 12 2018 Jerry James <loganjerry@gmail.com> - 2.6.0-6 - Rebuild for coq 8.7.1 * Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.0-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Fri Nov 17 2017 Richard W.M. Jones <rjones@redhat.com> - 2.6.0-4 - Rebuild against new Coq package. * Wed Nov 08 2017 Richard W.M. Jones <rjones@redhat.com> - 2.6.0-3 - Bump release and rebuild. * Wed Nov 08 2017 Richard W.M. Jones <rjones@redhat.com> - 2.6.0-2 - OCaml 4.06.0 rebuild. * Thu Oct 05 2017 Jerry James <loganjerry@gmail.com> - 2.6.0-1 - New upstream release