Sun, 28 Apr 2024 10:35:04 UTC | login

Information for build ocaml-4.14.0-5.rvre0.fc38

ID248797
Package Nameocaml
Version4.14.0
Release5.rvre0.fc38
Epoch
Sourcegit+http://fedora.riscv.rocks:3000/rpms/ocaml.git#fb80dea1c2816c17821e8ae126dba4377bf60d64
SummaryOCaml compiler and programming environment
DescriptionOCaml is a high-level, strongly-typed, functional and object-oriented programming language from the ML family of languages. This package comprises two batch compilers (a fast bytecode compiler and an optimizing native-code compiler), an interactive toplevel system, parsing tools (Lex,Yacc), a replay debugger, a documentation generator, and a comprehensive library.
Built bydavidlt
State complete
Volume DEFAULT
StartedThu, 01 Jun 2023 15:09:59 UTC
CompletedThu, 01 Jun 2023 23:28:56 UTC
Taskbuild (f38, /rpms/ocaml.git:fb80dea1c2816c17821e8ae126dba4377bf60d64)
Extra{'source': {'original_url': 'git+http://fedora.riscv.rocks:3000/rpms/ocaml.git#fb80dea1c2816c17821e8ae126dba4377bf60d64'}}
Tags
f38
f39
f40
RPMs
src
ocaml-4.14.0-5.rvre0.fc38.src.rpm (info) (download)
riscv64
ocaml-4.14.0-5.rvre0.fc38.riscv64.rpm (info) (download)
ocaml-compiler-libs-4.14.0-5.rvre0.fc38.riscv64.rpm (info) (download)
ocaml-docs-4.14.0-5.rvre0.fc38.riscv64.rpm (info) (download)
ocaml-ocamldoc-4.14.0-5.rvre0.fc38.riscv64.rpm (info) (download)
ocaml-runtime-4.14.0-5.rvre0.fc38.riscv64.rpm (info) (download)
ocaml-source-4.14.0-5.rvre0.fc38.riscv64.rpm (info) (download)
ocaml-debuginfo-4.14.0-5.rvre0.fc38.riscv64.rpm (info) (download)
ocaml-debugsource-4.14.0-5.rvre0.fc38.riscv64.rpm (info) (download)
ocaml-ocamldoc-debuginfo-4.14.0-5.rvre0.fc38.riscv64.rpm (info) (download)
ocaml-runtime-debuginfo-4.14.0-5.rvre0.fc38.riscv64.rpm (info) (download)
Logs
riscv64
hw_info.log
state.log
build.log
root.log
mock_output.log
Changelog * Thu Jun 01 2023 David Abdurachmanov <davidlt@rivosinc.com> - 4.14.0-5.rvre0 - Rebuilt for Fedora/RISCV (riscv64) * Mon Jan 23 2023 Richard W.M. Jones <rjones@redhat.com> - 4.14.0-5 - Rebuild OCaml packages for F38 * Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 4.14.0-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Mon Sep 05 2022 Richard W.M. Jones <rjones@redhat.com> - 4.14.0-3 - Include more upstream patches from 4.14 branch * Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 4.14.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Sat Jun 18 2022 Richard W.M. Jones <rjones@redhat.com> - 4.14.0-1 - New upstream version 4.14.0 * Thu Jun 09 2022 Jerry James <loganjerry@gmail.com> - 4.13.1-4 - Fix the Source0 URL - chrpath is no longer needed - Use the %license macro - Build the test binaries so the tests will run * Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 4.13.1-4 - Rebuild 4.13.1 to remove package notes * Wed Jan 26 2022 Richard W.M. Jones <rjones@redhat.com> - 4.13.1-3 - Disable package note misfeature - Remove duplicate flags from mkexe * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 4.13.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 4.13.1-1 - New upstream version 4.13.1 * Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 4.12.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Wed Jun 23 2021 Richard W.M. Jones <rjones@redhat.com> - 4.12.0-2 - Move to final version of upstream patch for non-constant SIGSTKSZ