Thu, 28 Mar 2024 13:45:29 UTC | login

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

ID195404
Package Nameocaml-ppx-compare
Version0.14.0
Release4.fc33.1.rvre2
Epoch
Sourcegit+http://fedora.riscv.rocks:3000/rpms/ocaml-ppx-compare.git#99aa199308e1508ef740e3f586f4264116ce4ce5
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 15:12:49 UTC
CompletedSun, 25 Apr 2021 15:22:05 UTC
Taskbuild (f33, /rpms/ocaml-ppx-compare.git:99aa199308e1508ef740e3f586f4264116ce4ce5)
Extra{'source': {'original_url': 'git+http://fedora.riscv.rocks:3000/rpms/ocaml-ppx-compare.git#99aa199308e1508ef740e3f586f4264116ce4ce5'}}
Tags No tags
RPMs No RPMs
Changelog * Sun Apr 25 2021 David Abdurachmanov <david.abdurachmanov@sifive.com> - 0.14.0-4.1.rvre2 - Rebuilt for Fedora RISCV, no changes * 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