[SECURITY] Fedora 45 Update: ocaml-ocplib-simplex-0.4.1-19.fc45

This package contains a library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities and optimizing linear objective functions...

[SECURITY] Fedora 45 Update: ocaml-ocamlbuild-0.16.1-8.fc45

OCamlbuild is a build tool for building OCaml libraries and programs...

[SECURITY] Fedora 45 Update: ocaml-ocplib-endian-1.2-28.fc45

Optimized functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01. The library implements three modules: - EndianString works directly on strings, and provides submodules BigEndian and LittleEndian, with their unsafe counterparts; -...

[SECURITY] Fedora 45 Update: ocaml-ocamlnet-4.1.9-36.fc45

Ocamlnet is an ongoing effort to collect modules, classes and functions that are useful to implement network protocols. Since version 2.2, Ocamlnet incorporates the Equeue, RPC, and Netclient libraries, so it is now really a big player. In detail, the following features are available: netstring i...

[SECURITY] Fedora 45 Update: ocaml-omake-0.10.7-11.fc45

OMake is a build system designed for scalability and portability. It uses a syntax similar to make utilities you may have used, but it features many additional enhancements, including the following. Support for projects spanning several directories or directory hierarchies. Fast, reliable,...

[SECURITY] Fedora 45 Update: ocaml-opam-0install-cudf-0.5.0-11.fc45

Opam's default solver is designed to maintain a set of packages over time, minimizing disruption when installing new programs and finding a compromise solution across all packages e.g. avoiding upgrading some library to prevent uninstalling another program. In many situations e.g. a CI system...

[SECURITY] Fedora 45 Update: ocaml-ocamlgraph-2.2.0-10.fc45

Ocamlgraph provides several different implementations of graph data structures. It also provides implementations for a number of classical graph algorithms like Kruskal's algorithm for MSTs, topological ordering of DAGs, Dijkstra's shortest paths algorithm, and Ford-Fulkerson's maximal-flow...

[SECURITY] Fedora 45 Update: ocaml-ocp-indent-1.10.0-2.fc45

Ocp-indent is a simple tool and library to indent OCaml code. It is based on an approximate, tolerant OCaml parser and a simple stack machine; this is much faster and more reliable than using regexps. Presets and configuration options are available, with the possibility to set them project-wide...

[SECURITY] Fedora 45 Update: ocaml-omd-1.3.2-9.fc45

Omd is an OCaml library designed to parse, manipulate, and print Markdown into different formats. In addition to the library, a command-line tool omd is included to easily convert markdown into HTML...

[SECURITY] Fedora 45 Update: ocaml-merlin-5.8.1-2.fc45

Merlin is an assistant for editing OCaml code. It aims to provide the features available in modern IDEs: error reporting, auto completion, source browsing and much more. You should also install a package that integrates with your editor of choice, such as emacs-merlin or vim-merlin...

[SECURITY] Fedora 45 Update: ocaml-mew-0.1.0-39.fc45

This 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...

[SECURITY] Fedora 45 Update: ocamlmod-0.1.1-7.fc45

ocamlmod allows to create OCaml modules from source files...

[SECURITY] Fedora 45 Update: ocaml-mew-vi-0.5.0-39.fc45

This is a vi-like modal editing engine generator. Provide Key, Mode, and Concurrent modules to define the real world environment to get a handy vi-like modal editing engine. Feed the the i channel user input and get the vi actions from the actionoutput channel...

[SECURITY] Fedora 45 Update: ocaml-num-1.6-8.fc45

This library implements arbitrary-precision arithmetic on big integers and on rationals. This is a legacy library. It used to be part of the core OCaml distribution in otherlibs/num but is now distributed separately. New applications that need arbitrary-precision arithmetic should use the Zarith...

[SECURITY] Fedora 45 Update: ocaml-mlgmpidl-1.3.0-23.fc45

MLGMPIDL is an OCaml interface to the GMP and MPFR rational and real number math libraries. Although there is another such interface, this one is different in that it provides a more imperative rather than functional interface to conserve memory and that this one uses CAMLIDL to take care of the...

[SECURITY] Fedora 45 Update: ocaml-mlmpfr-4.2.1-16.fc45

This library provides OCaml bindings for MPFR...

[SECURITY] Fedora 45 Update: ocaml-mtime-2.2.0-2.fc45

Mtime has platform independent support for monotonic wall-clock time in pure OCaml. This time increases monotonically and is not subject to operating system calendar time adjustments. The library has types to represent nanosecond precision timestamps and time spans. The additional Mtimeclock...

[SECURITY] Fedora 45 Update: ocaml-mysql-1.2.4-24.fc45

ocaml-mysql is a package for ocaml that provides access to mysql databases. It consists of low level functions implemented in C and a module Mysql intended for application development...

[SECURITY] Fedora 45 Update: ocaml-monolith-20250922-8.fc45

Monolith offers facilities for testing an OCaml library for instance, a data structure implementation by comparing it against a reference implementation. It can be used to perform either random testing or fuzz testing. Fuzz testing relies on the external tool afl-fuzz. The user must describe what...

[SECURITY] Fedora 45 Update: ocaml-lacaml-11.1.1-10.fc45

This OCaml-library interfaces the BLAS-library Basic Linear Algebra Subroutines and LAPACK-library Linear Algebra routines, which are written in FORTRAN. This allows people to write high-performance numerical code for applications that need linear algebra...

[SECURITY] Fedora 45 Update: ocaml-lambda-term-3.4.1-3.fc45

Lambda-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...

[SECURITY] Fedora 45 Update: ocaml-luv-0.5.14-12.fc45

Luv is a binding to libuv, the cross-platform C library that does asynchronous I/O in Node.js and runs its main loop. Besides asynchronous I/O, libuv also supports multiprocessing and multithreading. Multiple event loops can be run in different threads. Libuv also exposes a lot of other...

[SECURITY] Fedora 45 Update: ocaml-libvirt-0.6.1.7-22.fc45

OCaml binding for libvirt...

[SECURITY] Fedora 45 Update: ocaml-mccs-1.1.19-10.fc45

mccs which stands for Multi Criteria CUDF Solver is a CUDF problem solver developed at UNS during the European MANCOOSI project. This project contains a stripped-down version of the mccs solver, taken from snapshot 1.1, with a binding as an OCaml library, and building with dune. The binding enabl...

[SECURITY] Fedora 45 Update: ocaml-menhir-20260209-5.fc45

Menhir is a LR1 parser generator for the Objective Caml programming language. That is, Menhir compiles LR1 grammar specifications down to OCaml code. Menhir was designed and implemented by Fran=C3=A7ois Pottier and Yann R=C3=A9gis-Gianas...

[SECURITY] Fedora 45 Update: ocaml-linenoise-1.5.1-9.fc45

Self-contained OCaml bindings to linenoise...

[SECURITY] Fedora 45 Update: ocaml-logs-0.10.0-10.fc45

Logs provides a logging infrastructure for OCaml. Logging is performed on sources whose reporting level can be set independently. The log message report is decoupled from logging and is handled by a reporter. A few optional log reporters are distributed with the base library and the API lets you...

[SECURITY] Fedora 45 Update: ocaml-lwt-6.1.2-3.fc45

Lwt is a lightweight thread library for Objective Caml. This library is part of the Ocsigen project...

[SECURITY] Fedora 45 Update: ocaml-mdx-2.6.0-3.fc45

mdx enables execution of code blocks inside markdown files. There are currently two sub-commands, corresponding to two modes of operation: preprocessing ocaml-mdx pp and tests ocaml-mdx test. The preprocessor mode enables mixing documentation and code, and the practice of "literate programming"...

[SECURITY] Fedora 45 Update: ocaml-integers-0.8.0-4.fc45

The ocaml-integers library provides a number of 8-, 16-, 32- and 64-bit signed and unsigned integer types, together with aliases such as long and sizet whose sizes depend on the host platform...

[SECURITY] Fedora 45 Update: ocaml-jsonm-1.0.2-16.fc45

Jsonm is an OCaml non-blocking streaming codec to decode and encode the JSON data format. It can process JSON text without blocking on IO and without a complete in-memory representation of the data. The uncut codec also processes whitespace and non-standard JSON with JavaScript comments...

[SECURITY] Fedora 45 Update: ocaml-intrinsics-kernel-0.17.2-4.fc45

The ocamlintrinsicskernel library provides an OCaml interface to operations that have dedicated hardware instructions on some micro-architectures. Currently, it provides the following operations: - conditional select See ocamlintrinsics for details. Unlike ocamlintrinsics, ocamlintrinsicskernel c...

[SECURITY] Fedora 45 Update: ocaml-jane-street-headers-0.17.0-13.fc45

This package contains C header files shared between various Jane Street packages...

[SECURITY] Fedora 45 Update: ocaml-lablgtk-2.18.14-9.fc45

LablGTK is an Objective Caml interface to gtk2. It uses the rich type system of Objective Caml to provide a strongly typed, yet very comfortable, object-oriented interface to gtk2. This is not that easy if you know the dynamic typing approach taken by gtk2...

[SECURITY] Fedora 45 Update: ocaml-lablgtk3-3.1.5-14.fc45

LablGTK3 is an Objective Caml interface to gtk3. It uses the rich type system of Objective Caml to provide a strongly typed, yet very comfortable, object-oriented interface to gtk3...

[SECURITY] Fedora 45 Update: ocamlify-0.1.0-9.fc45

OCamlify allows to create OCaml source code by including whole files into OCaml string or string list. The code generated can be compiled as a standard OCaml file. It allows embedding external resources as OCaml code...

[SECURITY] Fedora 45 Update: ocaml-labltk-8.06.16-3.fc45

labltk or mlTk is a library for interfacing OCaml with the scripting language Tcl/Tk all versions since 8.0.3, but no betas...

[SECURITY] Fedora 45 Update: ocaml-lablgl-1.07-24.fc45

LablGL is is an Objective Caml interface to OpenGL. Support is included for use inside LablTk, and LablGTK also includes specific support for LablGL. It can be used either with proprietary OpenGL implementations SGI, Digital Unix, Solaris..., with XFree86 GLX extension, or with open-source Mesa...

[SECURITY] Fedora 45 Update: ocaml-jst-config-0.17.0-13.fc45

This package defines compile-time constants used in Jane Street libraries such as Base, Core, and Async...

[SECURITY] Fedora 45 Update: ocaml-fileutils-0.6.6-10.fc45

This library is intended to provide a basic interface to the most common file and filename operations. It provides several different filename functions: reduce, makeabsolute, makerelative... It also enables you to manipulate real files: cp, mv, rm, touch... It is separated into two modules: SysUt...

[SECURITY] Fedora 45 Update: ocaml-fmt-0.11.0-11.fc45

Fmt exposes combinators to devise Format pretty-printing functions. Fmt depends only on the OCaml standard library. The optional Fmttty library that enables setting up formatters for terminal color output depends on the Unix library. The optional Fmtcli library that provides command line support...

[SECURITY] Fedora 45 Update: ocaml-gen-1.1-22.fc45

Iterators for OCaml, both restartable and consumable. The implementation keeps a good balance between simplicity and performance...

[SECURITY] Fedora 45 Update: ocaml-facile-1.1.4-22.fc45

FaCiLe is a constraint programming library on integer and integer set finite domains written in OCaml. It offers all usual facilities to create and manipulate finite domain variables, arithmetic expressions and constraints possibly non-linear, built-in global constraints difference, cardinality,...

[SECURITY] Fedora 45 Update: ocaml-fieldslib-0.17.0-14.fc45

This package contains an OCaml syntax extension to define first class values representing record fields, to get and set record fields, iterate and fold over all fields of a record and create new record values...

[SECURITY] Fedora 45 Update: ocaml-graphics-5.2.0-9.fc45

The graphics library provides a set of portable drawing primitives. Drawing takes place in a separate window that is created when Graphics.opengraph is called...

[SECURITY] Fedora 45 Update: ocaml-gsl-1.25.1-11.fc45

This is an interface to GSL GNU scientific library, for the Objective Caml language...

[SECURITY] Fedora 45 Update: ocaml-gettext-0.5.0-15.fc45

Ocaml-gettext provides support for internationalization of Ocaml programs. Constraints : provides a pure Ocaml implementation, the API should be as close as possible to GNU gettext, provides a way to automatically extract translatable strings from Ocaml source code...

[SECURITY] Fedora 45 Update: ocaml-fpath-0.7.3-34.fc45

Fpath is an OCaml module for handling file system paths with POSIX or Windows conventions. Fpath processes paths without accessing the file system and is independent from any system library...

[SECURITY] Fedora 45 Update: ocaml-findlib-1.9.8-11.fc45

Objective CAML package manager and build helper...

[SECURITY] Fedora 45 Update: ocaml-cudf-0.10-21.fc45

CUDF for Common Upgradeability Description Format is a format for describing upgrade scenarios in package-based Free and Open Source Software distribution. In every such scenario there exists a package universe i.e. a set of packages known to a package manager application, a package status i.e. t...