Thu, 16 Jul 2020 17:53:21 UTC

Information for build flocq-3.2.0-7.fc33

ID1486288
Package Nameflocq
Version3.2.0
Release7.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/flocq.git#390b5c3d270efa1a4ebabafb9a1ab642d47891e7
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 byjjames
State complete
Volume DEFAULT
StartedMon, 30 Mar 2020 16:04:17 UTC
CompletedMon, 30 Mar 2020 16:14:48 UTC
Taskbuild (rawhide, /rpms/flocq.git:390b5c3d270efa1a4ebabafb9a1ab642d47891e7)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/flocq.git#390b5c3d270efa1a4ebabafb9a1ab642d47891e7'}}
Tags No tags
RPMs
src
flocq-3.2.0-7.fc33.src.rpm (info) (download)
aarch64
flocq-3.2.0-7.fc33.aarch64.rpm (info) (download)
flocq-source-3.2.0-7.fc33.aarch64.rpm (info) (download)
flocq-debuginfo-3.2.0-7.fc33.aarch64.rpm (info) (download)
armv7hl
flocq-3.2.0-7.fc33.armv7hl.rpm (info) (download)
flocq-source-3.2.0-7.fc33.armv7hl.rpm (info) (download)
flocq-debuginfo-3.2.0-7.fc33.armv7hl.rpm (info) (download)
i686
flocq-3.2.0-7.fc33.i686.rpm (info) (download)
flocq-source-3.2.0-7.fc33.i686.rpm (info) (download)
flocq-debuginfo-3.2.0-7.fc33.i686.rpm (info) (download)
ppc64le
flocq-3.2.0-7.fc33.ppc64le.rpm (info) (download)
flocq-source-3.2.0-7.fc33.ppc64le.rpm (info) (download)
flocq-debuginfo-3.2.0-7.fc33.ppc64le.rpm (info) (download)
s390x
flocq-3.2.0-7.fc33.s390x.rpm (info) (download)
flocq-source-3.2.0-7.fc33.s390x.rpm (info) (download)
flocq-debuginfo-3.2.0-7.fc33.s390x.rpm (info) (download)
x86_64
flocq-3.2.0-7.fc33.x86_64.rpm (info) (download)
flocq-source-3.2.0-7.fc33.x86_64.rpm (info) (download)
flocq-debuginfo-3.2.0-7.fc33.x86_64.rpm (info) (download)
Logs
x86_64
hw_info.log
state.log
build.log
root.log
mock_output.log
ppc64le
state.log
root.log
hw_info.log
build.log
mock_output.log
aarch64
root.log
state.log
build.log
hw_info.log
mock_output.log
i686
hw_info.log
state.log
build.log
root.log
mock_output.log
s390x
hw_info.log
state.log
build.log
root.log
mock_output.log
armv7hl
build.log
hw_info.log
root.log
state.log
mock_output.log
Changelog * Mon Mar 30 2020 Jerry James <loganjerry@gmail.com> - 3.2.0-7 - Add -coq811 patch so gappalib-coq can be built with coq 8.11 * Mon Mar 23 2020 Jerry James <loganjerry@gmail.com> - 3.2.0-6 - Rebuild for coq 8.11.0 * Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 3.2.0-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Wed Jan 22 2020 Jerry James <loganjerry@gmail.com> - 3.2.0-4 - OCaml 4.10.0+beta1 rebuild. * Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 3.2.0-3 - OCaml 4.09.0 (final) rebuild. * Fri Sep 06 2019 Jerry James <loganjerry@gmail.com> - 3.2.0-2 - OCaml 4.08.1 (final) rebuild. * 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.