Tue, 23 Apr 2024 13:25:21 UTC | login

Information for build ocaml-mew-0.1.0-5.fc33.1.rvre2

ID195374
Package Nameocaml-mew
Version0.1.0
Release5.fc33.1.rvre2
Epoch
Sourcegit+http://fedora.riscv.rocks:3000/rpms/ocaml-mew.git#f05ccb157b8c31d3401acdbec99f66b3adff5335
SummaryModal Editing Witch
DescriptionThis is the core module of mew, a general modal editing engine generator. You can provide `Key`, `Mode`, and `Concurrent` modules to define the real world environment to get the core component of a modal editing engine. The core component supports recursive key mappings associated with user provided modes. After the core component is generated, you may extended it with a translator to interpret user key sequences to get a complete modal editing engine.
Built bydavidlt
State failed
Volume DEFAULT
StartedSun, 25 Apr 2021 14:56:34 UTC
CompletedSun, 25 Apr 2021 15:05:36 UTC
Taskbuild (f33, /rpms/ocaml-mew.git:f05ccb157b8c31d3401acdbec99f66b3adff5335)
Extra{'source': {'original_url': 'git+http://fedora.riscv.rocks:3000/rpms/ocaml-mew.git#f05ccb157b8c31d3401acdbec99f66b3adff5335'}}
Tags No tags
RPMs No RPMs
Changelog * Sun Apr 25 2021 David Abdurachmanov <david.abdurachmanov@sifive.com> - 0.1.0-5.1.rvre2 - Rebuilt for Fedora RISCV, no changes * Sun Apr 25 2021 David Abdurachmanov <david.abdurachmanov@sifive.com> - 0.1.0-5.1.rvre1 - Rebuilt for Fedora RISCV, no changes * Sun Apr 25 2021 David Abdurachmanov <david.abdurachmanov@sifive.com> - 0.1.0-5.1.rvre0 - Rebuilt for Fedora RISCV, no changes * Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 0.1.0-5.1 - Bump release and rebuild. * Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 0.1.0-5 - OCaml 4.11.1 rebuild * Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.1.0-4 - OCaml 4.11.0 rebuild * Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.0-3 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Wed Jun 17 2020 Jerry James <loganjerry@gmail.com> - 0.1.0-1 - Initial RPM