utop-devel-2.3.0-1.fc30.i686.rpm


Advertisement

Description

utop-devel - Development files for utop

Property Value
Distribution Fedora 30
Repository Fedora i386
Package filename utop-devel-2.3.0-1.fc30.i686.rpm
Package name utop-devel
Package version 2.3.0
Package release 1.fc30
Package architecture i686
Package type rpm
Homepage https://github.com/ocaml-community/utop
License BSD
Maintainer -
Download size 19.68 KB
Installed size 33.31 KB
The utop-devel package contains libraries and signature files for
developing applications that use utop.

Alternatives

Package Version Architecture Repository
utop-devel-2.3.0-2.fc30.x86_64.rpm 2.3.0 x86_64 Fedora Updates
utop-devel-2.3.0-2.fc30.i686.rpm 2.3.0 i686 Fedora Updates
utop-devel-2.3.0-2.fc30.i686.rpm 2.3.0 i686 Fedora Updates
utop-devel-2.3.0-1.fc30.x86_64.rpm 2.3.0 x86_64 Fedora
utop-devel-2.3.0-1.fc30.i686.rpm 2.3.0 i686 Fedora
utop-devel - - -

Requires

Name Value
utop(x86-32) = 2.3.0-1.fc30

Provides

Name Value
ocaml-utop-devel(x86-32) = 2.3.0-1.fc30
utop-devel = 2.3.0-1.fc30
utop-devel(x86-32) = 2.3.0-1.fc30

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package utop-devel-2.3.0-1.fc30.i686.rpm
Source Package utop-2.3.0-1.fc30.src.rpm

Install Howto

Install utop-devel rpm package:

# dnf install utop-devel

Files

Path
/usr/lib/ocaml/utop/uTop.mli
/usr/lib/ocaml/utop/uTop_complete.mli
/usr/lib/ocaml/utop/uTop_history.mli
/usr/lib/ocaml/utop/uTop_lexer.mli
/usr/lib/ocaml/utop/uTop_main.mli
/usr/lib/ocaml/utop/uTop_styles.mli
/usr/share/doc/utop-devel/CHANGES.md
/usr/share/doc/utop-devel/README.md

Changelog

2019-02-01 - Sergey Avseyev <sergey.avseyev@gmail.com> - 2.3.0-1
- Update to 2.3.0
2018-12-03 - Sergey Avseyev <sergey.avseyev@gmail.com> - 2.2.0-4
- Update URLs
2018-12-03 - Sergey Avseyev <sergey.avseyev@gmail.com> - 2.2.0-3
- Rebuild with lambda-term 1.13
2018-08-12 - Sergey Avseyev <sergey.avseyev@gmail.com> - 2.2.0-2
- Fix installing man pages
2018-07-15 - Sergey Avseyev <sergey.avseyev@gmail.com> - 2.2.0-1
- Update to 2.2.0
2018-07-14 - Fedora Release Engineering <releng@fedoraproject.org> - 2.1.0-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-04-29 - Sergey Avseyev <sergey.avseyev@gmail.com> 2.1.0-2
- Rebuild with findlib 1.8.0
2018-03-05 - Sergey Avseyev <sergey.avseyev@gmail.com> 2.1.0-1
- Initial packaging.

See Also

Package Description
utox-0.17.0-5.fc30.i686.rpm The lightweight Tox client
utrac-0.3.0-28.fc30.i686.rpm Universal Text Recognizer and Converter
utrac-devel-0.3.0-28.fc30.i686.rpm Library and file header for utrac
uucp-1.07-58.fc30.i686.rpm A set of utilities for operations between systems
uudeview-0.5.20-43.fc30.i686.rpm Applications for uuencoding, uudecoding,
uuid-1.6.2-43.fc30.i686.rpm Universally Unique Identifier library
uuid-c++-1.6.2-43.fc30.i686.rpm C++ support for Universally Unique Identifier library
uuid-c++-devel-1.6.2-43.fc30.i686.rpm C++ development support for Universally Unique Identifier library
uuid-dce-1.6.2-43.fc30.i686.rpm DCE support for Universally Unique Identifier library
uuid-dce-devel-1.6.2-43.fc30.i686.rpm DCE development support for Universally Unique Identifier library
uuid-devel-1.6.2-43.fc30.i686.rpm Development support for Universally Unique Identifier library
uuid-perl-1.6.2-43.fc30.i686.rpm Perl support for Universally Unique Identifier library
uuidd-2.33.2-1.fc30.i686.rpm Helper daemon to guarantee uniqueness of time-based UUIDs
uulib-devel-0.5.20-43.fc30.i686.rpm Binary news message decoding library
uvcdynctrl-0.2.5-3.fc30.i686.rpm Command line interface to libwebcam
Advertisement
Advertisement