Fri, 22 Nov 2024 10:34:24 UTC | login

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

ID78941
Package Nameocaml-num
Version1.1
Release9.fc30
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
StartedSun, 02 Dec 2018 19:01:45 UTC
CompletedSun, 02 Dec 2018 19:54:59 UTC
Taskbuild (f30-candidate, ocaml-num-1.1-9.fc30.src.rpm)
Tags
f30
f31
RPMs
src
ocaml-num-1.1-9.fc30.src.rpm (info) (download)
riscv64
ocaml-num-1.1-9.fc30.riscv64.rpm (info) (download)
ocaml-num-devel-1.1-9.fc30.riscv64.rpm (info) (download)
ocaml-num-debuginfo-1.1-9.fc30.riscv64.rpm (info) (download)
ocaml-num-debugsource-1.1-9.fc30.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.