Sun, 12 May 2024 12:38:47 UTC | login

Information for build ocaml-ppx-compare-0.14.0-4.fc33.1.rvre1

ID195356
Package Nameocaml-ppx-compare
Version0.14.0
Release4.fc33.1.rvre1
Epoch
Sourcegit+http://fedora.riscv.rocks:3000/rpms/ocaml-ppx-compare.git#2c27f7c16be3f09968f8a5c1491442b17f637236
SummaryGenerate comparison functions from types
DescriptionPpx_compare is a ppx rewriter that derives comparison and equality functions from type representations. The scaffolded functions are usually much faster than OCaml's `Pervasives.compare` and `Pervasives.(=)`. Scaffolding functions also give more flexibility by allowing them to be overridden for a specific type, and more safety by making sure that only comparable values are compared.
Built bydavidlt
State failed
Volume DEFAULT
StartedSun, 25 Apr 2021 12:26:13 UTC
CompletedSun, 25 Apr 2021 12:35:25 UTC
Taskbuild (f33, /rpms/ocaml-ppx-compare.git:2c27f7c16be3f09968f8a5c1491442b17f637236)
Extra{'source': {'original_url': 'git+http://fedora.riscv.rocks:3000/rpms/ocaml-ppx-compare.git#2c27f7c16be3f09968f8a5c1491442b17f637236'}}
Tags No tags
RPMs No RPMs
Changelog * Sun Apr 25 2021 David Abdurachmanov <david.abdurachmanov@sifive.com> - 0.14.0-4.1.rvre1 - Rebuilt for Fedora RISCV, no changes * Sun Apr 25 2021 David Abdurachmanov <david.abdurachmanov@sifive.com> - 0.14.0-4.1.rvre0 - Rebuilt for Fedora RISCV, no changes * Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 0.14.0-4.1 - Bump release and rebuild. * Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 0.14.0-4 - OCaml 4.11.1 rebuild * Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.14.0-3 - OCaml 4.11.0 rebuild * Fri Aug 07 2020 Jerry James <loganjerry@gmail.com> - 0.13.0-1 - Rebuild against ppxlib 0.13.0 * Thu Aug 06 2020 Jerry James <loganjerry@gmail.com> - 0.14.0-1 - Version 0.14.0 * Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.13.0-4 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.13.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Thu May 28 2020 Jerry James <loganjerry@gmail.com> - 0.13.0-2 - Drop unnecessary patch * Thu May 07 2020 Jerry James <loganjerry@gmail.com> - 0.13.0-1 - Initial RPM