Sun, 05 May 2024 02:10:56 UTC | login

Information for build ocaml-num-1.1-9.fc29

ID52669
Package Nameocaml-num
Version1.1
Release9.fc29
Epoch
SummaryLegacy Num library for arbitrary-precision integer and rational arithmetic
DescriptionThis library implements arbitrary-precision arithmetic on big integers and on rationals. This is a legacy library. It used to be part of the core OCaml distribution (in otherlibs/num) but is now distributed separately. New applications that need arbitrary-precision arithmetic should use the Zarith library (https://github.com/ocaml/Zarith) instead of the Num library, and older applications that already use Num are encouraged to switch to Zarith. Zarith delivers much better performance than Num and has a nicer API.
Built bydavidlt
State complete
Volume DEFAULT
StartedMon, 13 Aug 2018 03:47:58 UTC
CompletedMon, 13 Aug 2018 05:22:03 UTC
Taskbuild (f29-candidate, ocaml-num-1.1-9.fc29.src.rpm)
Tags
f29
f30
RPMs
src
ocaml-num-1.1-9.fc29.src.rpm (info) (download)
riscv64
ocaml-num-1.1-9.fc29.riscv64.rpm (info) (download)
ocaml-num-devel-1.1-9.fc29.riscv64.rpm (info) (download)
ocaml-num-debuginfo-1.1-9.fc29.riscv64.rpm (info) (download)
ocaml-num-debugsource-1.1-9.fc29.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 1.1-8 - OCaml 4.07.0 (final) rebuild. * Tue Jun 19 2018 Richard W.M. Jones <rjones@redhat.com> - 1.1-7 - Bump release and rebuild. * Tue Jun 19 2018 Richard W.M. Jones <rjones@redhat.com> - 1.1-6 - OCaml 4.07.0-rc1 rebuild. * Thu Feb 08 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Wed Nov 08 2017 Richard W.M. Jones <rjones@redhat.com> - 1.1-4 - OCaml 4.06.0 rebuild. * Wed Nov 08 2017 Richard W.M. Jones <rjones@redhat.com> - 1.1-3 - Initial RPM version. - Fix Source0 to use nice package name. - Fix DESTDIR installs again.