Thu, 16 May 2024 12:47:28 UTC | login

Information for build ocaml-lambda-term-2.0.2-4.fc33

ID155930
Package Nameocaml-lambda-term
Version2.0.2
Release4.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ocaml-lambda-term.git#ba30836a8ec425a4e942790d37344fd029fbb06d
SummaryTerminal manipulation library for OCaml
DescriptionLambda-term is a cross-platform library for manipulating the terminal. It provides an abstraction for keys, mouse events, colors, as well as a set of widgets to write curses-like applications. The main objective of lambda-term is to provide a higher level functional interface to terminal manipulation than, for example, ncurses, by providing a native OCaml interface instead of bindings to a C library. Lambda-term integrates with zed to provide text edition facilities in console applications.
Built bydavidlt
State failed
Volume DEFAULT
StartedThu, 16 Apr 2020 15:55:08 UTC
CompletedThu, 16 Apr 2020 16:11:55 UTC
Taskbuild (f33, /rpms/ocaml-lambda-term.git:ba30836a8ec425a4e942790d37344fd029fbb06d)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ocaml-lambda-term.git#ba30836a8ec425a4e942790d37344fd029fbb06d'}}
Tags No tags
RPMs No RPMs
Changelog * Sat Apr 04 2020 Richard W.M. Jones <rjones@redhat.com> - 2.0.2-4 - Update all OCaml dependencies for RPM 4.16. * Wed Feb 26 2020 Richard W.M. Jones <rjones@redhat.com> - 2.0.2-3 - OCaml 4.10.0 final. * Wed Jan 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.0.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Tue Aug 13 2019 Sergey Avseyev <sergey.avseyev@gmail.com> - 2.0.2-1 - Update build scripts to use dune - Update to latest upstream release * Fri Aug 02 2019 Ben Rosser <rosser.bjr@gmail.com> - 2.0.1-1 - Updated to latest upstream release (rhbz#1714129). * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.13-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.13-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Fri Sep 07 2018 Ben Rosser <rosser.bjr@gmail.com> - 1.13-1 - Updated to latest upstream release. * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.12.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild