Mon, 13 Jan 2025 01:41:23 UTC | login

Information for build ocaml-ctypes-0.23.0-3.fc42

ID345106
Package Nameocaml-ctypes
Version0.23.0
Release3.fc42
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ocaml-ctypes.git#b09975d4d57139ee9e202f1fa7028b05b9d4747e
SummaryCombinators for binding to C libraries without writing any C
DescriptionCtypes is a library for binding to C libraries using pure OCaml. The primary aim is to make writing C extensions as straightforward as possible. The core of ctypes is a set of combinators for describing the structure of C types -- numeric types, arrays, pointers, structs, unions and functions. You can use these combinators to describe the types of the functions that you want to call, then bind directly to those functions -- all without writing or generating any C!
git:https://github.com/yallop/ocaml-ctypes.git
Built bydavidlt
State complete
Volume DEFAULT
StartedSun, 12 Jan 2025 17:01:54 UTC
CompletedSun, 12 Jan 2025 17:10:28 UTC
Taskbuild (f42, /rpms/ocaml-ctypes.git:b09975d4d57139ee9e202f1fa7028b05b9d4747e)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ocaml-ctypes.git#b09975d4d57139ee9e202f1fa7028b05b9d4747e'}}
Tags
f42
RPMs
src
ocaml-ctypes-0.23.0-3.fc42.src.rpm (info) (download)
riscv64
ocaml-ctypes-0.23.0-3.fc42.riscv64.rpm (info) (download)
ocaml-ctypes-devel-0.23.0-3.fc42.riscv64.rpm (info) (download)
ocaml-ctypes-debuginfo-0.23.0-3.fc42.riscv64.rpm (info) (download)
ocaml-ctypes-debugsource-0.23.0-3.fc42.riscv64.rpm (info) (download)
Logs
riscv64
hw_info.log
root.log
build.log
state.log
mock_output.log
Changelog * Thu Jan 09 2025 Jerry James <loganjerry@gmail.com> - 0.23.0-3 - OCaml 5.3.0 rebuild - Add patch to fix FTBFS in a test - Add patch to remove dependency on bigarray-compat - Update __ocaml_requires_opts for OCaml 5.3.0 * Tue Oct 08 2024 Richard W.M. Jones <rjones@redhat.com> - 0.23.0-2 - Rebuild for ocaml-lwt 5.8.0 * Mon Aug 12 2024 Jerry James <loganjerry@gmail.com> - 0.23.0-1 - Version 0.23.0 - Add patch to remove dependency on stdlib-shims * Thu Jul 18 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.22.0-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 0.22.0-3 - OCaml 5.2.0 ppc64le fix * Wed May 29 2024 Richard W.M. Jones <rjones@redhat.com> - 0.22.0-2 - OCaml 5.2.0 for Fedora 41 * Thu May 23 2024 Jerry James <loganjerry@gmail.com> - 0.22.0-1 - Version 0.22.0 * Fri Feb 02 2024 Jerry James <loganjerry@gmail.com> - 0.21.1-7 - Rebuild for changed ocamlx(Toploop) hash * Thu Jan 25 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.21.1-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Sun Jan 21 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.21.1-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Mon Dec 18 2023 Richard W.M. Jones <rjones@redhat.com> - 0.21.1-4 - OCaml 5.1.1 + s390x code gen fix for Fedora 40 * Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 0.21.1-3 - OCaml 5.1.1 rebuild for Fedora 40 * Thu Oct 05 2023 Richard W.M. Jones <rjones@redhat.com> - 0.21.1-2 - OCaml 5.1 rebuild for Fedora 40 * Fri Jul 21 2023 Jerry James <loganjerry@gmail.com> - 0.21.1-1 - Version 0.21.1 * Thu Jul 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.21.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Fri Jul 14 2023 Jerry James <loganjerry@gmail.com> - 0.21.0-1 - Version 0.21.0 - Build with dune - Drop the doc subpackage * Tue Jul 11 2023 Richard W.M. Jones <rjones@redhat.com> - 0.20.2-3 - OCaml 5.0 rebuild for Fedora 39 * Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 0.20.2-2 - OCaml 5.0.0 rebuild * Tue Mar 21 2023 Jerry James <loganjerry@gmail.com> - 0.20.2-1 - Version 0.20.2 * Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 0.20.1-5 - Rebuild OCaml packages for F38 * Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.20.1-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Tue Jan 17 2023 Jerry James <loganjerry@gmail.com> - 0.20.1-3 - New URLs