Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

index by creation date

RPMs more than 1 months old

rust-gst-plugin-fallbackswitch+v1_20-devel-0.13.0-1.fc41.noarch GStreamer Fallback Switcher and Source Plugin Fedora 41 updates for x86_64
rust-gst-plugin-fallbackswitch-devel-0.13.0-1.fc41.noarch GStreamer Fallback Switcher and Source Plugin Fedora 41 updates for x86_64
selint-1.5.1-1.fc41.x86_64 Static code analysis tool for SELinux policy source files Fedora 41 updates for x86_64
serd-0.32.4-1.fc41.i686 A lightweight C library for RDF syntax Fedora 41 updates for x86_64
serd-0.32.4-1.fc41.x86_64 A lightweight C library for RDF syntax Fedora 41 updates for x86_64
serd-devel-0.32.4-1.fc41.x86_64 Development libraries and headers for serd Fedora 41 updates for x86_64
serd-devel-0.32.4-1.fc41.i686 Development libraries and headers for serd Fedora 41 updates for x86_64
sord-0.16.18-1.fc41.x86_64 A lightweight Resource Description Framework (RDF) C library Fedora 41 updates for x86_64
sord-0.16.18-1.fc41.i686 A lightweight Resource Description Framework (RDF) C library Fedora 41 updates for x86_64
sord-devel-0.16.18-1.fc41.x86_64 Development libraries and headers for sord Fedora 41 updates for x86_64
sord-devel-0.16.18-1.fc41.i686 Development libraries and headers for sord Fedora 41 updates for x86_64
zix-0.6.2-1.fc41.x86_64 A lightweight C library of portability wrappers and data structures Fedora 41 updates for x86_64
zix-0.6.2-1.fc41.i686 A lightweight C library of portability wrappers and data structures Fedora 41 updates for x86_64
zix-devel-0.6.2-1.fc41.i686 Development files for zix Fedora 41 updates for x86_64
zix-devel-0.6.2-1.fc41.x86_64 Development files for zix Fedora 41 updates for x86_64
zix-doc-0.6.2-1.fc41.noarch Documentation files for zix Fedora 41 updates for x86_64
babel-2.17.0-1.fc41.noarch Tools for internationalizing Python applications Fedora 41 updates for x86_64
babel-doc-2.17.0-1.fc41.noarch Documentation for Babel Fedora 41 updates for x86_64
composer-generators-0.1.2-1.fc41.noarch Tools for composer enabled applications packager Fedora 41 updates for x86_64
gtk4-layer-shell-1.0.3-1.fc41.x86_64 Library to create panels and other desktop components for Wayland Fedora 41 updates for x86_64
gtk4-layer-shell-1.0.3-1.fc41.i686 Library to create panels and other desktop components for Wayland Fedora 41 updates for x86_64
gtk4-layer-shell-devel-1.0.3-1.fc41.i686 Development files for gtk4-layer-shell Fedora 41 updates for x86_64
gtk4-layer-shell-devel-1.0.3-1.fc41.x86_64 Development files for gtk4-layer-shell Fedora 41 updates for x86_64
inpionata-fonts-20250203-1.fc41.noarch Pioneer Inpionata font Fedora 41 updates for x86_64
libsonata-0.1.23-35.fc41.x86_64 A Python and C++ interface to the SONATA format Fedora 41 updates for x86_64
libsonata-devel-0.1.23-35.fc41.x86_64 Development files for libsonata Fedora 41 updates for x86_64
orbiteer-fonts-20250203-1.fc41.noarch Pioneer Orbiteer Bold font Fedora 41 updates for x86_64
pioneer-20250203-1.fc41.x86_64 A game of lonely space adventure Fedora 41 updates for x86_64
pioneer-data-20250203-1.fc41.noarch Data files of pioneer Fedora 41 updates for x86_64
pionilliumtext22l-fonts-20250203-1.fc41.noarch Pioneer PionilliumText22L Medium font Fedora 41 updates for x86_64
pydeps-3.0.1-1.fc41.noarch Display module dependencies Fedora 41 updates for x86_64
python-formencode-langpacks-2.1.1-1.fc41.noarch Locale files for the python-formencode library Fedora 41 updates for x86_64
python-succulent-doc-0.4.1-1.fc41.noarch Documentation and examples for python-succulent Fedora 41 updates for x86_64
python3-alembic-1.14.1-1.fc41.noarch Database migration tool for SQLAlchemy Fedora 41 updates for x86_64
python3-alembic+tz-1.14.1-1.fc41.noarch Metapackage for python3-alembic: tz extra Fedora 41 updates for x86_64
python-paramiko-doc-3.5.1-1.fc41.noarch Docs and demo for SSH2 protocol library for python Fedora 41 updates for x86_64
python3-avalara-24.12.0-1.fc41.noarch AvaTax Python SDK Fedora 41 updates for x86_64
python3-formencode-2.1.1-1.fc41.noarch HTML form validation, generation, and convertion package Fedora 41 updates for x86_64
python3-babel-2.17.0-1.fc41.noarch Library for internationalizing Python applications Fedora 41 updates for x86_64
python3-libsonata-0.1.23-35.fc41.x86_64 Development files for libsonata Fedora 41 updates for x86_64
python3-paramiko-3.5.1-1.fc41.noarch SSH2 protocol library for python Fedora 41 updates for x86_64
sad-0.4.32-1.fc41.x86_64 CLI search and replace tool Fedora 41 updates for x86_64
sympa-6.2.76-1.fc41.x86_64 Powerful multilingual List Manager Fedora 41 updates for x86_64
sympa-devel-doc-6.2.76-1.fc41.x86_64 Sympa devel doc Fedora 41 updates for x86_64
sympa-httpd-6.2.76-1.fc41.x86_64 Sympa with Apache HTTP Server Fedora 41 updates for x86_64
sympa-lighttpd-6.2.76-1.fc41.x86_64 Sympa with lighttpd Fedora 41 updates for x86_64
sympa-nginx-6.2.76-1.fc41.x86_64 Sympa with nginx Fedora 41 updates for x86_64
accountsservice-23.13.9-8.fc41.x86_64 D-Bus interfaces for querying and manipulating user account information Fedora 41 updates for x86_64
accountsservice-23.13.9-8.fc41.i686 D-Bus interfaces for querying and manipulating user account information Fedora 41 updates for x86_64
accountsservice-devel-23.13.9-8.fc41.x86_64 Development files for accountsservice-libs Fedora 41 updates for x86_64
accountsservice-devel-23.13.9-8.fc41.i686 Development files for accountsservice-libs Fedora 41 updates for x86_64
accountsservice-libs-23.13.9-8.fc41.x86_64 Client-side library to talk to accountsservice Fedora 41 updates for x86_64
accountsservice-libs-23.13.9-8.fc41.i686 Client-side library to talk to accountsservice Fedora 41 updates for x86_64
apricots-0.2.9-1.fc41.x86_64 2D air combat game Fedora 41 updates for x86_64
asahi-battery-20250130-5.fc41.noarch Asahi Linux battery charge control scripts Fedora 41 updates for x86_64
asahi-fwupdate-20250130-5.fc41.noarch Asahi Linux firmware extractor Fedora 41 updates for x86_64
asahi-scripts-20250130-5.fc41.noarch Miscellaneous admin scripts for Asahi Linux Fedora 41 updates for x86_64
dracut-asahi-20250130-5.fc41.noarch Dracut config for Apple Silicon Macs Fedora 41 updates for x86_64
libX11-1.8.11-1.fc41.x86_64 Core X11 protocol client library Fedora 41 updates for x86_64
libX11-1.8.11-1.fc41.i686 Core X11 protocol client library Fedora 41 updates for x86_64
libX11-common-1.8.11-1.fc41.noarch Common data for libX11 Fedora 41 updates for x86_64
libX11-devel-1.8.11-1.fc41.x86_64 Development files for libX11 Fedora 41 updates for x86_64
libX11-devel-1.8.11-1.fc41.i686 Development files for libX11 Fedora 41 updates for x86_64
libX11-xcb-1.8.11-1.fc41.i686 XCB interop for libX11 Fedora 41 updates for x86_64
libX11-xcb-1.8.11-1.fc41.x86_64 XCB interop for libX11 Fedora 41 updates for x86_64
linux-firmware-vendor-20250130-5.fc41.noarch Ensure /lib/firmware/vendor exists for firmware handoff Fedora 41 updates for x86_64
perl-Attean-0.035-2.fc41.noarch Semantic web framework Fedora 41 updates for x86_64
perl-Attean-tests-0.035-2.fc41.noarch Tests for perl-Attean Fedora 41 updates for x86_64
perl-Test-Attean-0.035-2.fc41.noarch Modules for testing Attean semantic web framework Fedora 41 updates for x86_64
perl-YAML-LibYAML-0.903.0-1.fc41.x86_64 Perl YAML Serialization using XS and libyaml Fedora 41 updates for x86_64
perl-YAML-LibYAML-tests-0.903.0-1.fc41.x86_64 Tests for perl-YAML-LibYAML Fedora 41 updates for x86_64
php-sebastian-cli-parser3-3.0.2-1.fc41.noarch Library for parsing CLI options, version 3 Fedora 41 updates for x86_64
python-pkginfo-doc-1.12.0-2.fc41.noarch Documentation for python-pkginfo Fedora 41 updates for x86_64
python3-hatchling-1.27.0-2.fc41.noarch The build backend used by Hatch Fedora 41 updates for x86_64
python3-pkginfo-1.12.0-2.fc41.noarch Query metadata from sdists / bdists / installed packages Fedora 41 updates for x86_64
tachyon-0.99.5-1.fc41.x86_64 Parallel / Multiprocessor Ray Tracing System Fedora 41 updates for x86_64
tachyon-devel-0.99.5-1.fc41.x86_64 Development files for tachyon Fedora 41 updates for x86_64
tachyon-devel-0.99.5-1.fc41.i686 Development files for tachyon Fedora 41 updates for x86_64
tachyon-docs-0.99.5-1.fc41.x86_64 Documentation and example scenes for tachyon Fedora 41 updates for x86_64
tachyon-gl-0.99.5-1.fc41.x86_64 Parallel / Multiprocessor Ray Tracing System with OpenGL display Fedora 41 updates for x86_64
tachyon-libs-0.99.5-1.fc41.x86_64 Parallel / Multiprocessor Ray Tracing System library Fedora 41 updates for x86_64
trac-1.6-6.fc41.noarch Enhanced wiki and issue tracking system Fedora 41 updates for x86_64
twine-6.1.0-1.fc41.noarch Twine is a utility for publishing Python packages on PyPI Fedora 41 updates for x86_64
update-m1n1-20250130-5.fc41.noarch Keep m1n1 up to date Fedora 41 updates for x86_64
geeqie-2.5-5.fc41.x86_64 Image browser and viewer Fedora 41 updates for x86_64
golang-github-subosito-gotenv-devel-1.6.0-6.fc41.noarch Load environment variables from `.env` or `io.Reader` in Go Fedora 41 updates for x86_64
gparted-1.7.0-1.fc41.x86_64 Gnome Partition Editor Fedora 41 updates for x86_64
lxqt-config-2.0.0-2.fc41.x86_64 Config tools for LXQt desktop suite Fedora 41 updates for x86_64
lxqt-config-l10n-2.0.0-2.fc41.noarch Translations for lxqt-config Fedora 41 updates for x86_64
python3-pyliblo3-0.16.3-1.fc41.x86_64 Python bindings for the liblo Open Sound Control (OSC) library Fedora 41 updates for x86_64
gap-pkg-guava-3.20-1.fc41.x86_64 Computing with error-correcting codes Fedora 41 updates for x86_64
gap-pkg-guava-doc-3.20-1.fc41.noarch GUAVA documentation Fedora 41 updates for x86_64
lino-0.10.0-12.fc41.x86_64 Command line text editor with notepad like key bindings Fedora 41 updates for x86_64
navi-2.20.1-11.fc41.x86_64 Interactive cheatsheet tool for the command-line Fedora 41 updates for x86_64
python-pyliblo3-doc-0.16.3-1.fc41.noarch Documentation for python-pyliblo3 Fedora 41 updates for x86_64
ifm-5.5-1.fc41.x86_64 Interactive Fiction Mapper Fedora 41 updates for x86_64
python-llvmlite-doc-0.44.0-1.fc41.noarch Lightweight LLVM Python binding for writing JIT compilers Fedora 41 updates for x86_64
python3-ci-info-0.3.0-2.fc41.noarch Continuous Integration Information Fedora 41 updates for x86_64
python3-etelemetry-0.3.1-1.fc41.noarch Etelemetry python client API Fedora 41 updates for x86_64
python3-llvmlite-0.44.0-1.fc41.x86_64 Lightweight LLVM Python binding for writing JIT compilers Fedora 41 updates for x86_64
rust-navi+default-devel-2.20.1-11.fc41.noarch Interactive cheatsheet tool for the command-line Fedora 41 updates for x86_64
rust-navi+disable-command-execution-devel-2.20.1-11.fc41.noarch Interactive cheatsheet tool for the command-line Fedora 41 updates for x86_64
rust-navi+disable-repo-management-devel-2.20.1-11.fc41.noarch Interactive cheatsheet tool for the command-line Fedora 41 updates for x86_64
rust-navi-devel-2.20.1-11.fc41.noarch Interactive cheatsheet tool for the command-line Fedora 41 updates for x86_64
tree-sitter-srpm-macros-0.1.0-8.fc41.noarch RPM macros for Tree-sitter parsers Fedora 41 updates for x86_64
brlapi-0.8.5-22.fc41.x86_64 Application Programming Interface for BRLTTY Fedora 41 updates for x86_64
brlapi-0.8.5-22.fc41.i686 Application Programming Interface for BRLTTY Fedora 41 updates for x86_64
brlapi-devel-0.8.5-22.fc41.i686 Headers, static archive, and documentation for BrlAPI Fedora 41 updates for x86_64
brlapi-devel-0.8.5-22.fc41.x86_64 Headers, static archive, and documentation for BrlAPI Fedora 41 updates for x86_64
brlapi-java-0.8.5-22.fc41.x86_64 Java binding for BrlAPI Fedora 41 updates for x86_64
brltty-6.6-22.fc41.x86_64 Braille display driver for Linux/Unix Fedora 41 updates for x86_64
brltty-at-spi2-6.6-22.fc41.x86_64 AtSpi2 driver for BRLTTY Fedora 41 updates for x86_64
brltty-docs-6.6-22.fc41.noarch Documentation for BRLTTY Fedora 41 updates for x86_64
brltty-dracut-6.6-22.fc41.x86_64 brltty module for Dracut Fedora 41 updates for x86_64
brltty-espeak-6.6-22.fc41.x86_64 eSpeak driver for BRLTTY Fedora 41 updates for x86_64
brltty-espeak-ng-6.6-22.fc41.x86_64 eSpeak-NG driver for BRLTTY Fedora 41 updates for x86_64
brltty-minimal-6.6-22.fc41.x86_64 Stripped down brltty version for Anaconda installer Fedora 41 updates for x86_64
brltty-speech-dispatcher-6.6-22.fc41.x86_64 Speech Dispatcher driver for BRLTTY Fedora 41 updates for x86_64
brltty-xw-6.6-22.fc41.x86_64 XWindow driver for BRLTTY Fedora 41 updates for x86_64
ocaml-brlapi-0.8.5-22.fc41.x86_64 OCaml binding for BrlAPI Fedora 41 updates for x86_64
python3-mistune-2.0.4-11.fc41.noarch Markdown parser for Python Fedora 41 updates for x86_64
python3-packaging-24.2-3.fc41.noarch Core utilities for Python packages Fedora 41 updates for x86_64
python3-shapely-2.0.7-1.fc41.x86_64 Manipulation and analysis of geometric objects in the Cartesian plane Fedora 41 updates for x86_64
tcl-brlapi-0.8.5-22.fc41.x86_64 Tcl binding for BrlAPI Fedora 41 updates for x86_64
xfce4-whiskermenu-plugin-2.9.0-1.fc41.x86_64 An alternate application launcher for Xfce Fedora 41 updates for x86_64
dnstwist-20250130-1.fc41.noarch Domain name permutation engine Fedora 41 updates for x86_64
jpegxl-doc-0.10.4-1.fc41.noarch Documentation for JPEG-XL Fedora 41 updates for x86_64
jxl-pixbuf-loader-0.10.4-1.fc41.i686 JPEG-XL image loader for GTK+ applications Fedora 41 updates for x86_64
jxl-pixbuf-loader-0.10.4-1.fc41.x86_64 JPEG-XL image loader for GTK+ applications Fedora 41 updates for x86_64
libjxl-0.10.4-1.fc41.i686 Library files for JPEG-XL Fedora 41 updates for x86_64
libjxl-0.10.4-1.fc41.x86_64 Library files for JPEG-XL Fedora 41 updates for x86_64
libjxl-devel-0.10.4-1.fc41.i686 Development files for JPEG-XL Fedora 41 updates for x86_64
libjxl-devel-0.10.4-1.fc41.x86_64 Development files for JPEG-XL Fedora 41 updates for x86_64
libjxl-devtools-0.10.4-1.fc41.x86_64 Development tools for JPEG-XL Fedora 41 updates for x86_64
libjxl-utils-0.10.4-1.fc41.x86_64 Utilities for manipulating JPEG XL images Fedora 41 updates for x86_64
python-mistune-doc-2.0.4-11.fc41.noarch Documentation for python-mistune Fedora 41 updates for x86_64
python3-brlapi-0.8.5-22.fc41.x86_64 Python 3 binding for BrlAPI Fedora 41 updates for x86_64
python3-cvss-3.3-1.fc41.noarch CVSS2/3 library with interactive calculator Fedora 41 updates for x86_64
cairo-dock-3.5.99^20250120gitd2fd789-1.rc1.fc41.x86_64 Light eye-candy fully themable animated dock Fedora 41 updates for x86_64
cairo-dock-core-3.5.99^20250120gitd2fd789-1.rc1.fc41.i686 Core files for cairo-dock Fedora 41 updates for x86_64
cairo-dock-core-3.5.99^20250120gitd2fd789-1.rc1.fc41.x86_64 Core files for cairo-dock Fedora 41 updates for x86_64
cairo-dock-devel-3.5.99^20250120gitd2fd789-1.rc1.fc41.i686 Development files for cairo-dock Fedora 41 updates for x86_64
cairo-dock-devel-3.5.99^20250120gitd2fd789-1.rc1.fc41.x86_64 Development files for cairo-dock Fedora 41 updates for x86_64
cairo-dock-libs-3.5.99^20250120gitd2fd789-1.rc1.fc41.i686 Library files for cairo-dock Fedora 41 updates for x86_64
cairo-dock-libs-3.5.99^20250120gitd2fd789-1.rc1.fc41.x86_64 Library files for cairo-dock Fedora 41 updates for x86_64
cairo-dock-plug-ins-3.5.99^20250120git9cc48a3-1.rc1.fc41.x86_64 Plug-ins files for Cairo-Dock Fedora 41 updates for x86_64
cairo-dock-plug-ins-base-3.5.99^20250120git9cc48a3-1.rc1.fc41.x86_64 Base files for Cairo-Dock plugins Fedora 41 updates for x86_64
cairo-dock-plug-ins-common-3.5.99^20250120git9cc48a3-1.rc1.fc41.noarch Common files for Cairo-Dock plugins Fedora 41 updates for x86_64
cairo-dock-plug-ins-dbus-3.5.99^20250120git9cc48a3-1.rc1.fc41.x86_64 Plug-ins files for Cairo-Dock related to Dbus Fedora 41 updates for x86_64
cairo-dock-plug-ins-kde-3.5.99^20250120git9cc48a3-1.rc1.fc41.x86_64 Plug-ins files for Cairo-Dock related to KDE Fedora 41 updates for x86_64
cairo-dock-plug-ins-unstable-3.5.99^20250120git9cc48a3-1.rc1.fc41.x86_64 Unstable plug-ins not installed by default Fedora 41 updates for x86_64
cairo-dock-plug-ins-webkit-3.5.99^20250120git9cc48a3-1.rc1.fc41.x86_64 Plug-ins files for Cairo-Dock related to WebKit Fedora 41 updates for x86_64
cairo-dock-plug-ins-xfce-3.5.99^20250120git9cc48a3-1.rc1.fc41.x86_64 Plug-ins files for Cairo-Dock related to Xfce Fedora 41 updates for x86_64
cairo-dock-python3-3.5.99^20250120git9cc48a3-1.rc1.fc41.x86_64 Python3 binding for Cairo-Dock Fedora 41 updates for x86_64
cairo-dock-ruby-3.5.99^20250120git9cc48a3-1.rc1.fc41.noarch Ruby binding for Cairo-Dock Fedora 41 updates for x86_64
cairo-dock-vala-3.5.99^20250120git9cc48a3-1.rc1.fc41.x86_64 Vala binding for Cairo-Dock Fedora 41 updates for x86_64
cairo-dock-vala-3.5.99^20250120git9cc48a3-1.rc1.fc41.i686 Vala binding for Cairo-Dock Fedora 41 updates for x86_64
cairo-dock-vala-devel-3.5.99^20250120git9cc48a3-1.rc1.fc41.i686 Development files for Vala binding for Cairo-Dock Fedora 41 updates for x86_64
cairo-dock-vala-devel-3.5.99^20250120git9cc48a3-1.rc1.fc41.x86_64 Development files for Vala binding for Cairo-Dock Fedora 41 updates for x86_64
python3-referencing-0.36.2-2.fc41.noarch An implementation-agnostic implementation of JSON reference resolution Fedora 41 updates for x86_64
realtime-setup-2.5-5.fc41.x86_64 Setup RT/low-latency environment details Fedora 41 updates for x86_64
dictd-1.13.1-5.fc41.x86_64 DICT protocol (RFC 2229) server and command-line client Fedora 41 updates for x86_64
dictd-server-1.13.1-5.fc41.x86_64 Server for the Dictionary Server Protocol (DICT) Fedora 41 updates for x86_64
geos-3.12.2-3.fc41.x86_64 GEOS is a C++ port of the Java Topology Suite Fedora 41 updates for x86_64
geos-3.12.2-3.fc41.i686 GEOS is a C++ port of the Java Topology Suite Fedora 41 updates for x86_64
geos-devel-3.12.2-3.fc41.x86_64 Development files for GEOS Fedora 41 updates for x86_64
geos-devel-3.12.2-3.fc41.i686 Development files for GEOS Fedora 41 updates for x86_64
mingw32-geos-3.12.2-3.fc41.noarch MinGW Windows GEOS library Fedora 41 updates for x86_64
mingw64-geos-3.12.2-3.fc41.noarch MinGW Windows GEOS library Fedora 41 updates for x86_64
octave-communications-1.2.7-1.fc41.x86_64 Communications for Octave Fedora 41 updates for x86_64
python3-fastapi-0.115.8-1.fc41.noarch FastAPI framework Fedora 41 updates for x86_64
python3-fastapi+all-0.115.8-1.fc41.noarch Metapackage for python3-fastapi: all extras Fedora 41 updates for x86_64
python3-fastapi-slim-0.115.8-1.fc41.noarch FastAPI framework Fedora 41 updates for x86_64
python3-fastapi-slim+all-0.115.8-1.fc41.noarch Metapackage for python3-fastapi-slim: all extras Fedora 41 updates for x86_64
python3-fastapi-slim+standard-0.115.8-1.fc41.noarch Metapackage for python3-fastapi-slim: standard extras Fedora 41 updates for x86_64
python3-id-1.5.0-1.fc41.noarch A tool for generating OIDC identities Fedora 41 updates for x86_64
rb_libtorrent-2.0.11-1.fc41.x86_64 A C++ BitTorrent library aiming to be the best alternative Fedora 41 updates for x86_64
rb_libtorrent-2.0.11-1.fc41.i686 A C++ BitTorrent library aiming to be the best alternative Fedora 41 updates for x86_64
rb_libtorrent-devel-2.0.11-1.fc41.x86_64 Development files for rb_libtorrent Fedora 41 updates for x86_64
rb_libtorrent-devel-2.0.11-1.fc41.i686 Development files for rb_libtorrent Fedora 41 updates for x86_64
rb_libtorrent-examples-2.0.11-1.fc41.x86_64 Example clients using rb_libtorrent Fedora 41 updates for x86_64
rb_libtorrent-python3-2.0.11-1.fc41.x86_64 Python bindings for rb_libtorrent Fedora 41 updates for x86_64
rust-tree-sitter-language+default-devel-0.1.3-1.fc41.noarch Tree-sitter Language type, used by the library and by language implementations Fedora 41 updates for x86_64
rust-tree-sitter-language-devel-0.1.3-1.fc41.noarch Tree-sitter Language type, used by the library and by language implementations Fedora 41 updates for x86_64
tomcat-native-1.3.0-8.fc41.x86_64 Tomcat native library Fedora 41 updates for x86_64
alt-ergo-2.3.3-23.fc41.x86_64 Automated theorem prover including linear arithmetic Fedora 41 updates for x86_64
alt-ergo-gui-2.3.3-23.fc41.x86_64 Graphical front end for Alt-Ergo Fedora 41 updates for x86_64
ansible-collection-containers-podman-1.16.3-7.fc41.noarch Podman Ansible collection for Podman containers Fedora 41 updates for x86_64
dot-merlin-reader-5.3-1.fc41.x86_64 Merlin configuration file reader Fedora 41 updates for x86_64
emacs-merlin-5.3-1.fc41.noarch Context sensitive completion for OCaml in Emacs Fedora 41 updates for x86_64
emacs-utop-2.14.0-6.fc41.noarch Emacs front end for utop Fedora 41 updates for x86_64
haxe-4.3.4-5.fc41.x86_64 Multi-target universal programming language Fedora 41 updates for x86_64
haxe-stdlib-4.3.4-5.fc41.noarch The Haxe standard library Fedora 41 updates for x86_64
apron-0.9.15-5.fc41.x86_64 Numerical abstract domain library Fedora 41 updates for x86_64
apron-devel-0.9.15-5.fc41.x86_64 Development files for apron Fedora 41 updates for x86_64
blogc-0.20.1^20240602.b1ae9c9-1.fc41.x86_64 A blog compiler Fedora 41 updates for x86_64
blogc-git-receiver-0.20.1^20240602.b1ae9c9-1.fc41.x86_64 A simple login shell/git hook to deploy blogc websites Fedora 41 updates for x86_64
blogc-make-0.20.1^20240602.b1ae9c9-1.fc41.x86_64 A simple build tool for blogc Fedora 41 updates for x86_64
blogc-runserver-0.20.1^20240602.b1ae9c9-1.fc41.x86_64 A simple HTTP server to test blogc websites Fedora 41 updates for x86_64
coccinelle-1.2-9.fc41.x86_64 Semantic patching for Linux (spatch) Fedora 41 updates for x86_64
coccinelle-bash-completion-1.2-9.fc41.noarch Bash tab-completion for coccinelle Fedora 41 updates for x86_64
coccinelle-doc-1.2-9.fc41.noarch Documentation for coccinelle Fedora 41 updates for x86_64
coccinelle-examples-1.2-9.fc41.noarch Examples for coccinelle Fedora 41 updates for x86_64
coq-8.18.0-11.fc41.x86_64 Proof management system Fedora 41 updates for x86_64
coq-coqide-8.18.0-11.fc41.x86_64 Coqide IDE for Coq proof management system Fedora 41 updates for x86_64
coq-coqide-server-8.18.0-11.fc41.x86_64 The coqidetop language server Fedora 41 updates for x86_64
coq-core-8.18.0-11.fc41.x86_64 Core components of the coq proof management system Fedora 41 updates for x86_64
flocq-4.2.0-3.fc41.x86_64 Formalization of floating point numbers for Coq Fedora 41 updates for x86_64
flocq-source-4.2.0-3.fc41.x86_64 Source Coq files Fedora 41 updates for x86_64
frama-c-30.0-2.fc41.x86_64 Framework for source code analysis of C software Fedora 41 updates for x86_64
frama-c-doc-30.0-2.fc41.noarch Large documentation files for frama-c Fedora 41 updates for x86_64
frama-c-emacs-30.0-2.fc41.noarch Emacs support file for ACSL markup Fedora 41 updates for x86_64
freetennis-0.4.8-60.fc41.x86_64 Tennis simulation game Fedora 41 updates for x86_64
gappalib-coq-1.5.5-6.fc41.x86_64 Coq support library for gappa Fedora 41 updates for x86_64
gappalib-coq-source-1.5.5-6.fc41.x86_64 Source Coq files Fedora 41 updates for x86_64
japron-0.9.15-5.fc41.x86_64 Java interface to APRON Fedora 41 updates for x86_64
java-z3-4.13.4-1.fc41.x86_64 Java interface to z3 Fedora 41 updates for x86_64
neovim-0.10.4-1.fc41.x86_64 Vim-fork focused on extensibility and agility Fedora 41 updates for x86_64
not-ocamlfind-0.13-5.fc41.x86_64 Front-end to ocamlfind that adds a few new commands Fedora 41 updates for x86_64
ocaml-0install-solver-2.18-2.fc41.x86_64 Package dependency solver Fedora 41 updates for x86_64
ocaml-0install-solver-devel-2.18-2.fc41.x86_64 Development files for 0install-solver Fedora 41 updates for x86_64
ocaml-SDL-0.9.1-71.fc41.x86_64 OCaml bindings for SDL Fedora 41 updates for x86_64
ocaml-SDL-devel-0.9.1-71.fc41.x86_64 Development files for ocamlSDL Fedora 41 updates for x86_64
ocaml-alcotest-1.8.0-2.fc41.x86_64 Lightweight and colorful test framework for OCaml Fedora 41 updates for x86_64
ocaml-alcotest-devel-1.8.0-2.fc41.x86_64 Development files for ocaml-alcotest Fedora 41 updates for x86_64
ocaml-alt-ergo-lib-2.3.3-23.fc41.x86_64 Automated theorem prover library Fedora 41 updates for x86_64
ocaml-alt-ergo-lib-devel-2.3.3-23.fc41.x86_64 Development files for ocaml-alt-ergo-lib Fedora 41 updates for x86_64
ocaml-alt-ergo-parsers-2.3.3-23.fc41.x86_64 Parser library used by the Alt-Ergo SMT solver Fedora 41 updates for x86_64
ocaml-alt-ergo-parsers-devel-2.3.3-23.fc41.x86_64 Development files for ocaml-alt-ergo-parsers Fedora 41 updates for x86_64
ocaml-atd-2.15.0-11.fc41.x86_64 Adaptable Type Definitions for cross-language data types Fedora 41 updates for x86_64
ocaml-atd-devel-2.15.0-11.fc41.x86_64 Development files for ocaml-atd Fedora 41 updates for x86_64
ocaml-atdd-2.15.0-11.fc41.x86_64 DLang code generation for ATD Fedora 41 updates for x86_64
ocaml-atdgen-2.15.0-11.fc41.x86_64 Generates efficient JSON serializers, deserializers and validators Fedora 41 updates for x86_64
ocaml-atdgen-codec-runtime-2.15.0-11.fc41.x86_64 Runtime for atdgen generated bucklescript converters Fedora 41 updates for x86_64
ocaml-atdgen-codec-runtime-devel-2.15.0-11.fc41.x86_64 Development files for ocaml-atdgen-codec-runtime Fedora 41 updates for x86_64
ocaml-atdgen-devel-2.15.0-11.fc41.x86_64 Development files for ocaml-atdgen Fedora 41 updates for x86_64
ocaml-atdgen-runtime-2.15.0-11.fc41.x86_64 Runtime library for code generated by atdgen Fedora 41 updates for x86_64
ocaml-atdgen-runtime-devel-2.15.0-11.fc41.x86_64 Development files for ocaml-atdgen-runtime Fedora 41 updates for x86_64
ocaml-atdj-2.15.0-11.fc41.x86_64 Java code generation for ATD Fedora 41 updates for x86_64
ocaml-atdpy-2.15.0-11.fc41.x86_64 Python/mypy code generation for ATD Fedora 41 updates for x86_64
ocaml-atds-2.15.0-11.fc41.x86_64 ATD Code generator for Scala Fedora 41 updates for x86_64
ocaml-atdts-2.15.0-11.fc41.x86_64 TypeScript code generation for ATD Fedora 41 updates for x86_64
ocaml-apron-0.9.15-5.fc41.x86_64 Ocaml interface to APRON Fedora 41 updates for x86_64
ocaml-apron-devel-0.9.15-5.fc41.x86_64 Development files for the Ocaml interface to APRON Fedora 41 updates for x86_64
ocaml-astring-0.8.5-27.fc41.x86_64 Alternative String module for OCaml Fedora 41 updates for x86_64
ocaml-astring-devel-0.8.5-27.fc41.x86_64 Development files for ocaml-astring Fedora 41 updates for x86_64
ocaml-base-0.17.1-3.fc41.x86_64 Jane Street standard library for OCaml Fedora 41 updates for x86_64
ocaml-base-devel-0.17.1-3.fc41.x86_64 Development files for ocaml-base Fedora 41 updates for x86_64
ocaml-base64-3.5.1-14.fc41.x86_64 Base64 library for OCaml Fedora 41 updates for x86_64
ocaml-base64-devel-3.5.1-14.fc41.x86_64 Development files for ocaml-base64. Fedora 41 updates for x86_64
ocaml-bin-prot-0.17.0-3.fc41.x86_64 Read and write OCaml values in a type-safe binary protocol Fedora 41 updates for x86_64
ocaml-bin-prot-devel-0.17.0-3.fc41.x86_64 Development files for ocaml-bin-prot Fedora 41 updates for x86_64
ocaml-biniou-1.2.2-12.fc41.x86_64 Safe and fast binary data format Fedora 41 updates for x86_64
ocaml-biniou-devel-1.2.2-12.fc41.x86_64 Development files for ocaml-biniou Fedora 41 updates for x86_64
ocaml-bisect-ppx-2.8.3-14.fc41.x86_64 Code coverage for OCaml and Reason Fedora 41 updates for x86_64
ocaml-bisect-ppx-devel-2.8.3-14.fc41.x86_64 Development files for ocaml-bisect-ppx Fedora 41 updates for x86_64
ocaml-bos-0.2.1-23.fc41.x86_64 Basic OS interaction for OCaml Fedora 41 updates for x86_64
ocaml-bos-devel-0.2.1-23.fc41.x86_64 Development files for ocaml-bos Fedora 41 updates for x86_64
ocaml-cairo-0.6.5-1.fc41.x86_64 OCaml library for accessing cairo graphics Fedora 41 updates for x86_64
ocaml-cairo-devel-0.6.5-1.fc41.x86_64 Development files for ocaml-cairo Fedora 41 updates for x86_64
ocaml-cairo-gtk-0.6.5-1.fc41.x86_64 OCaml library to render cairo on a gtk2 canvas Fedora 41 updates for x86_64
ocaml-cairo-gtk-devel-0.6.5-1.fc41.x86_64 Development files for ocaml-cairo-gtk Fedora 41 updates for x86_64
ocaml-cairo-pango-0.6.5-1.fc41.x86_64 OCaml library to use pango with cairo Fedora 41 updates for x86_64
ocaml-cairo-pango-devel-0.6.5-1.fc41.x86_64 Development files for ocaml-cairo-pango Fedora 41 updates for x86_64
ocaml-calendar-3.0.0-14.fc41.x86_64 Objective Caml library for managing dates and times Fedora 41 updates for x86_64
ocaml-calendar-devel-3.0.0-14.fc41.x86_64 Development files for ocaml-calendar Fedora 41 updates for x86_64
ocaml-camlimages-5.0.5-5.fc41.x86_64 OCaml image processing library Fedora 41 updates for x86_64
ocaml-camlimages-devel-5.0.5-5.fc41.x86_64 Development files for camlimages Fedora 41 updates for x86_64
ocaml-camlp5-8.03.00-5.fc41.x86_64 Preprocessor and pretty printer for OCaml Fedora 41 updates for x86_64
ocaml-camlp5-buildscripts-0.04-1.fc41.x86_64 Sysadmin scripts for camlp5 projects Fedora 41 updates for x86_64
ocaml-camlp5-devel-8.03.00-5.fc41.x86_64 Development files for ocaml-camlp5 Fedora 41 updates for x86_64
ocaml-camomile-2.0.0-14.fc41.x86_64 Unicode library for OCaml Fedora 41 updates for x86_64
ocaml-camomile-data-2.0.0-14.fc41.noarch Data files for ocaml-camomile Fedora 41 updates for x86_64
ocaml-camomile-devel-2.0.0-14.fc41.x86_64 Development files for ocaml-camomile Fedora 41 updates for x86_64
ocaml-cinaps-0.15.1-22.fc41.x86_64 Trivial Metaprogramming tool using the OCaml toplevel Fedora 41 updates for x86_64
ocaml-cinaps-devel-0.15.1-22.fc41.x86_64 Development files for ocaml-cinaps Fedora 41 updates for x86_64
ocaml-crunch-3.3.1-12.fc41.x86_64 Convert a filesystem into a static OCaml module Fedora 41 updates for x86_64
ocaml-crunch-devel-3.3.1-12.fc41.x86_64 Development files for ocaml-crunch Fedora 41 updates for x86_64
ocaml-cryptokit-1.20.1-3.fc41.x86_64 OCaml library of cryptographic and hash functions Fedora 41 updates for x86_64
ocaml-cryptokit-devel-1.20.1-3.fc41.x86_64 Development files for ocaml-cryptokit Fedora 41 updates for x86_64
ocaml-csv-2.4-23.fc41.x86_64 OCaml library for reading and writing CSV files Fedora 41 updates for x86_64
ocaml-csv-devel-2.4-23.fc41.x86_64 Development files for ocaml-csv Fedora 41 updates for x86_64
ocaml-csv-lwt-2.4-23.fc41.x86_64 LWT bindings for ocaml-csv Fedora 41 updates for x86_64
ocaml-csv-lwt-devel-2.4-23.fc41.x86_64 LWT development files for ocaml-csv Fedora 41 updates for x86_64
ocaml-ctypes-0.23.0-2.fc41.x86_64 Combinators for binding to C libraries without writing any C Fedora 41 updates for x86_64
ocaml-ctypes-devel-0.23.0-2.fc41.x86_64 Development files for ocaml-ctypes Fedora 41 updates for x86_64
ocaml-cudf-0.10-12.fc41.x86_64 Format for describing upgrade scenarios Fedora 41 updates for x86_64
ocaml-cudf-devel-0.10-12.fc41.x86_64 Development files for ocaml-cudf Fedora 41 updates for x86_64
ocaml-curl-0.9.2-18.fc41.x86_64 OCaml Curl library (ocurl) Fedora 41 updates for x86_64
ocaml-curl-devel-0.9.2-18.fc41.x86_64 Development files for ocaml-curl Fedora 41 updates for x86_64
ocaml-expat-1.3.0-12.fc41.x86_64 OCaml wrapper for the Expat XML parsing library Fedora 41 updates for x86_64
ocaml-expat-devel-1.3.0-12.fc41.x86_64 Development files for ocaml-expat Fedora 41 updates for x86_64
ocaml-extlib-1.8.0-1.fc41.x86_64 OCaml ExtLib additions to the standard library Fedora 41 updates for x86_64
ocaml-extlib-devel-1.8.0-1.fc41.x86_64 Development files for ocaml-extlib Fedora 41 updates for x86_64
ocaml-fieldslib-0.17.0-3.fc41.x86_64 OCaml record fields as first class values Fedora 41 updates for x86_64
ocaml-fieldslib-devel-0.17.0-3.fc41.x86_64 Development files for ocaml-fieldslib Fedora 41 updates for x86_64
ocaml-fileutils-0.6.6-1.fc41.x86_64 OCaml library for common file and filename operations Fedora 41 updates for x86_64
ocaml-fileutils-devel-0.6.6-1.fc41.x86_64 Development files for ocaml-fileutils Fedora 41 updates for x86_64
ocaml-index-5.3-1.fc41.x86_64 Tool that indexes value usages from cmt files Fedora 41 updates for x86_64
ocaml-fmt-0.9.0-19.fc41.x86_64 OCaml Format pretty-printer combinators Fedora 41 updates for x86_64
ocaml-fmt-devel-0.9.0-19.fc41.x86_64 Development files for ocaml-fmt Fedora 41 updates for x86_64
ocaml-fpath-0.7.3-24.fc41.x86_64 File paths for OCaml Fedora 41 updates for x86_64
ocaml-fpath-devel-0.7.3-24.fc41.x86_64 Development files for ocaml-fpath Fedora 41 updates for x86_64
ocaml-gen-1.1-13.fc41.x86_64 Simple, efficient iterators for OCaml Fedora 41 updates for x86_64
ocaml-gen-devel-1.1-13.fc41.x86_64 Development files for ocaml-gen Fedora 41 updates for x86_64
ocaml-gettext-0.4.2-23.fc41.x86_64 OCaml library for i18n Fedora 41 updates for x86_64
ocaml-gettext-camomile-0.4.2-23.fc41.x86_64 Parts of ocaml-gettext which depend on Camomile Fedora 41 updates for x86_64
ocaml-gettext-camomile-devel-0.4.2-23.fc41.x86_64 Development files for ocaml-gettext-camomile Fedora 41 updates for x86_64
ocaml-gettext-devel-0.4.2-23.fc41.x86_64 Development files for ocaml-gettext Fedora 41 updates for x86_64
ocaml-jsonm-1.0.2-3.fc41.x86_64 Non-blocking streaming JSON codec for OCaml Fedora 41 updates for x86_64
ocaml-jsonm-devel-1.0.2-3.fc41.x86_64 Development files for ocaml-jsonm Fedora 41 updates for x86_64
ocaml-jst-config-devel-0.17.0-3.fc41.x86_64 Development files for ocaml-jst-config Fedora 41 updates for x86_64
ocaml-mew-vi-0.5.0-29.fc41.x86_64 Modal Editing Witch, VI interpreter Fedora 41 updates for x86_64
ocaml-mew-vi-devel-0.5.0-29.fc41.x86_64 Development files for ocaml-mew-vi Fedora 41 updates for x86_64
ocaml-odoc-2.4.4-1.fc41.x86_64 Documentation compiler for OCaml and Reason Fedora 41 updates for x86_64
ocaml-odoc-devel-2.4.4-1.fc41.x86_64 Development files for ocaml-odoc Fedora 41 updates for x86_64
ocaml-odoc-doc-2.4.4-1.fc41.noarch Documentation for ocaml-odoc Fedora 41 updates for x86_64
ocaml-odoc-parser-2.4.4-1.fc41.x86_64 Parser for OCaml documentation comments Fedora 41 updates for x86_64
ocaml-odoc-parser-devel-2.4.4-1.fc41.x86_64 Development files for ocaml-odoc-parser Fedora 41 updates for x86_64
ocaml-lablgl-1.07-14.fc41.x86_64 LablGL is an OpenGL interface for Objective Caml Fedora 41 updates for x86_64
ocaml-lablgl-devel-1.07-14.fc41.x86_64 Development files for ocaml-lablgl Fedora 41 updates for x86_64
ocaml-lablgtk-2.18.13-15.fc41.x86_64 Objective Caml interface to gtk+ Fedora 41 updates for x86_64
ocaml-lablgtk-devel-2.18.13-15.fc41.x86_64 Development files for ocaml-lablgtk Fedora 41 updates for x86_64
ocaml-lablgtk3-3.1.5-4.fc41.x86_64 OCaml interface to gtk3 Fedora 41 updates for x86_64
ocaml-lablgtk3-devel-3.1.5-4.fc41.x86_64 Development files for ocaml-lablgtk3 Fedora 41 updates for x86_64
ocaml-lablgtk3-goocanvas2-3.1.5-4.fc41.x86_64 OCaml interface to GooCanvas Fedora 41 updates for x86_64
ocaml-lablgtk3-goocanvas2-devel-3.1.5-4.fc41.x86_64 Development files for ocaml-lablgtk3-goocanvas2 Fedora 41 updates for x86_64
ocaml-lablgtk3-gtkspell3-3.1.5-4.fc41.x86_64 OCaml interface to gtkspell3 Fedora 41 updates for x86_64
ocaml-lablgtk3-gtkspell3-devel-3.1.5-4.fc41.x86_64 Development files for ocaml-lablgtk3-gtkspell3 Fedora 41 updates for x86_64
ocaml-lablgtk3-rsvg2-3.1.5-4.fc41.x86_64 OCaml interface to librsvg2 Fedora 41 updates for x86_64
ocaml-lablgtk3-rsvg2-devel-3.1.5-4.fc41.x86_64 Development files for ocaml-lablgtk3-rsvg2 Fedora 41 updates for x86_64
ocaml-lablgtk3-sourceview3-3.1.5-4.fc41.x86_64 OCaml interface to gtksourceview3 Fedora 41 updates for x86_64
ocaml-lablgtk3-sourceview3-devel-3.1.5-4.fc41.x86_64 Development files for ocaml-lablgtk3-sourceview3 Fedora 41 updates for x86_64
ocaml-lambda-term-3.3.2-12.fc41.x86_64 Terminal manipulation library for OCaml Fedora 41 updates for x86_64
ocaml-lambda-term-devel-3.3.2-12.fc41.x86_64 Development files for ocaml-lambda-term Fedora 41 updates for x86_64
ocaml-logs-0.7.0-23.fc41.x86_64 Logging infrastructure for OCaml Fedora 41 updates for x86_64
ocaml-logs-devel-0.7.0-23.fc41.x86_64 Development files for ocaml-logs Fedora 41 updates for x86_64
ocaml-luv-0.5.12-16.fc41.x86_64 OCaml binding to libuv for cross-platform asynchronous I/O Fedora 41 updates for x86_64
ocaml-luv-devel-0.5.12-16.fc41.x86_64 Development files for ocaml-luv Fedora 41 updates for x86_64
ocaml-lwt-5.9.0-1.fc41.x86_64 OCaml lightweight thread library Fedora 41 updates for x86_64
ocaml-lwt-devel-5.9.0-1.fc41.x86_64 Development files for ocaml-lwt Fedora 41 updates for x86_64
ocaml-lwt-ppx-5.9.0-1.fc41.x86_64 PPX syntax for Lwt Fedora 41 updates for x86_64
ocaml-lwt-ppx-devel-5.9.0-1.fc41.x86_64 Development files for ocaml-lwt-ppx Fedora 41 updates for x86_64
ocaml-lwt-react-5.9.0-1.fc41.x86_64 Helpers for using React with Lwt Fedora 41 updates for x86_64
ocaml-lwt-react-devel-5.9.0-1.fc41.x86_64 Development files for ocaml-lwt-react Fedora 41 updates for x86_64
ocaml-lwt-retry-5.9.0-1.fc41.x86_64 Utilities for retrying Lwt computations Fedora 41 updates for x86_64
ocaml-lwt-retry-devel-5.9.0-1.fc41.x86_64 Development files for ocaml-lwt-retry Fedora 41 updates for x86_64
ocaml-markup-1.0.3-18.fc41.x86_64 Error-recovering streaming HTML5 and XML parsers for OCaml Fedora 41 updates for x86_64
ocaml-markup-devel-1.0.3-18.fc41.x86_64 Development files for ocaml-markup Fedora 41 updates for x86_64
ocaml-markup-lwt-1.0.3-18.fc41.x86_64 Adapter between ocaml-markup and ocaml-lwt Fedora 41 updates for x86_64
ocaml-markup-lwt-devel-1.0.3-18.fc41.x86_64 Development files for ocaml-markup-lwt Fedora 41 updates for x86_64
ocaml-mccs-1.1-54.18.fc41.x86_64 Multi Criteria CUDF Solver with OCaml bindings Fedora 41 updates for x86_64
ocaml-mccs-devel-1.1-54.18.fc41.x86_64 Development files for ocaml-mccs Fedora 41 updates for x86_64
ocaml-mdx-2.5.0-1.fc41.x86_64 Executable code blocks inside markdown files Fedora 41 updates for x86_64
ocaml-mdx-devel-2.5.0-1.fc41.x86_64 Development files for ocaml-mdx Fedora 41 updates for x86_64
ocaml-merlin-5.3-1.fc41.x86_64 Context sensitive completion for OCaml Fedora 41 updates for x86_64
ocaml-merlin-lib-5.3-1.fc41.x86_64 Library access to the merlin protocol Fedora 41 updates for x86_64
ocaml-mew-0.1.0-29.fc41.x86_64 Modal Editing Witch Fedora 41 updates for x86_64
ocaml-mew-devel-0.1.0-29.fc41.x86_64 Development files for ocaml-mew Fedora 41 updates for x86_64
ocaml-mtime-2.1.0-2.fc41.x86_64 Monotonic wall-clock time for OCaml Fedora 41 updates for x86_64
ocaml-mtime-devel-2.1.0-2.fc41.x86_64 Development files for ocaml-mtime Fedora 41 updates for x86_64
ocaml-ocamlgraph-2.1.0-10.fc41.x86_64 OCaml library for arc and node graphs Fedora 41 updates for x86_64
ocaml-ocamlgraph-devel-2.1.0-10.fc41.x86_64 Development files for ocaml-ocamlgraph Fedora 41 updates for x86_64
ocaml-ocamlgraph-gtk-2.1.0-10.fc41.x86_64 Display graphs using OCamlGraph and GTK2 Fedora 41 updates for x86_64
ocaml-ocamlgraph-gtk-devel-2.1.0-10.fc41.x86_64 Development files for ocaml-ocamlgraph-gtk Fedora 41 updates for x86_64
ocaml-ocamlgraph-tools-2.1.0-10.fc41.x86_64 Graph editing tools for ocaml-ocamlgraph Fedora 41 updates for x86_64
ocaml-ocamlnet-4.1.9-23.fc41.x86_64 Network protocols for OCaml Fedora 41 updates for x86_64
ocaml-ocamlnet-devel-4.1.9-23.fc41.x86_64 Development files for ocaml-ocamlnet Fedora 41 updates for x86_64
ocaml-ocamlnet-nethttpd-4.1.9-23.fc41.x86_64 Ocamlnet HTTP daemon Fedora 41 updates for x86_64
ocaml-ocamlnet-nethttpd-devel-4.1.9-23.fc41.x86_64 Development files for ocaml-ocamlnet-nethttpd Fedora 41 updates for x86_64
ocaml-ocp-indent-1.8.2-31.fc41.x86_64 A simple tool to indent OCaml programs Fedora 41 updates for x86_64
ocaml-ocp-indent-devel-1.8.2-31.fc41.x86_64 Development files for ocaml-ocp-indent Fedora 41 updates for x86_64
ocaml-ocplib-endian-1.2-19.fc41.x86_64 Functions to read/write int16/32/64 from strings, bigarrays Fedora 41 updates for x86_64
ocaml-ocplib-endian-devel-1.2-19.fc41.x86_64 Development files for ocaml-ocplib-endian Fedora 41 updates for x86_64
ocaml-ocplib-simplex-0.4.1-10.fc41.x86_64 Simplex algorithm for solving systems of linear inequalities Fedora 41 updates for x86_64
ocaml-ocplib-simplex-devel-0.4.1-10.fc41.x86_64 Development files for ocaml-ocplib-simplex Fedora 41 updates for x86_64
ocaml-opam-0install-cudf-0.5.0-2.fc41.x86_64 A generic CUDF solver library meant to be used in opam Fedora 41 updates for x86_64
ocaml-opam-0install-cudf-devel-0.5.0-2.fc41.x86_64 Development files for ocaml-opam-0install-cudf Fedora 41 updates for x86_64
ocaml-opam-file-format-2.1.6-16.fc41.x86_64 Parser and printer for the opam file syntax Fedora 41 updates for x86_64
ocaml-opam-file-format-devel-2.1.6-16.fc41.x86_64 Development files for ocaml-opam-file-format Fedora 41 updates for x86_64
ocaml-ounit-2.2.7-12.fc41.x86_64 Unit test framework for OCaml Fedora 41 updates for x86_64
ocaml-ounit-devel-2.2.7-12.fc41.x86_64 Development files for ocaml-ounit Fedora 41 updates for x86_64
ocaml-ounit-lwt-2.2.7-12.fc41.x86_64 Helper functions for building Lwt tests using OUnit Fedora 41 updates for x86_64
ocaml-ounit-lwt-devel-2.2.7-12.fc41.x86_64 Development files for ocaml-ounit-lwt Fedora 41 updates for x86_64
ocaml-parmap-1.2.5-15.fc41.x86_64 OCaml library for exploiting multicore architectures Fedora 41 updates for x86_64
ocaml-parmap-devel-1.2.5-15.fc41.x86_64 Development files for ocaml-parmap Fedora 41 updates for x86_64
ocaml-parsexp-0.17.0-3.fc41.x86_64 S-expression parsing library Fedora 41 updates for x86_64
ocaml-parsexp-devel-0.17.0-3.fc41.x86_64 Development files for ocaml-parsexp Fedora 41 updates for x86_64
ocaml-plplot-5.15.0-72.fc41.x86_64 Functions for scientific plotting with OCaml Fedora 41 updates for x86_64
ocaml-plplot-devel-5.15.0-72.fc41.x86_64 Development files for PLplot OCaml Fedora 41 updates for x86_64
ocaml-ppx-assert-0.17.0-4.fc41.x86_64 Assert-like extension nodes that raise useful errors on failure Fedora 41 updates for x86_64
ocaml-ppx-assert-devel-0.17.0-4.fc41.x86_64 Development files for ocaml-ppx-assert Fedora 41 updates for x86_64
ocaml-ppx-base-0.17.0-4.fc41.x86_64 Base set of OCaml ppx rewriters Fedora 41 updates for x86_64
ocaml-ppx-base-devel-0.17.0-4.fc41.x86_64 Development files for ocaml-ppx-base Fedora 41 updates for x86_64
ocaml-ppx-cold-0.17.0-4.fc41.x86_64 OCaml definition of [@@cold] attribute Fedora 41 updates for x86_64
ocaml-ppx-cold-devel-0.17.0-4.fc41.x86_64 Development files for ocaml-ppx-cold Fedora 41 updates for x86_64
ocaml-ppx-compare-0.17.0-4.fc41.x86_64 Generate comparison functions from types Fedora 41 updates for x86_64
ocaml-ppx-compare-devel-0.17.0-4.fc41.x86_64 Development files for ocaml-ppx-compare Fedora 41 updates for x86_64
ocaml-ppx-custom-printf-0.17.0-4.fc41.x86_64 Printf-style format-strings for user-defined string conversion Fedora 41 updates for x86_64
ocaml-ppx-custom-printf-devel-0.17.0-4.fc41.x86_64 Development files for ocaml-ppx-custom-printf Fedora 41 updates for x86_64
ocaml-ppx-deriving-6.0.2-7.fc41.x86_64 Type-driven code generation for OCaml Fedora 41 updates for x86_64
ocaml-ppx-deriving-devel-6.0.2-7.fc41.x86_64 Development files for ocaml-ppx-deriving Fedora 41 updates for x86_64
ocaml-ppx-deriving-qcheck-0.23-1.fc41.x86_64 PPX deriver for QCheck Fedora 41 updates for x86_64
ocaml-ppx-deriving-qcheck-devel-0.23-1.fc41.x86_64 Development files for ocaml-ppx-deriving-qcheck Fedora 41 updates for x86_64
ocaml-ppx-deriving-yaml-0.3.0-6.fc41.x86_64 Derive conversion functions between OCaml types and YAML Fedora 41 updates for x86_64
ocaml-ppx-deriving-yaml-devel-0.3.0-6.fc41.x86_64 Development files for ocaml-ppx-deriving-yaml Fedora 41 updates for x86_64
ocaml-ppx-deriving-yojson-3.9.1-1.fc41.x86_64 JSON codec generator for OCaml Fedora 41 updates for x86_64
ocaml-ppx-deriving-yojson-devel-3.9.1-1.fc41.x86_64 Development files for ocaml-ppx-deriving-yojson Fedora 41 updates for x86_64
ocaml-ppx-enumerate-0.17.0-4.fc41.x86_64 Generate a list containing all values of a finite type Fedora 41 updates for x86_64
ocaml-ppx-enumerate-devel-0.17.0-4.fc41.x86_64 Development files for ocaml-ppx-enumerate Fedora 41 updates for x86_64
ocaml-ppx-expect-0.17.2-2.fc41.x86_64 Framework for writing tests in OCaml Fedora 41 updates for x86_64
ocaml-ppx-expect-devel-0.17.2-2.fc41.x86_64 Development files for ocaml-ppx-expect Fedora 41 updates for x86_64
ocaml-ppx-fields-conv-0.17.0-4.fc41.x86_64 Generate accessor & iteration functions for OCaml records Fedora 41 updates for x86_64
ocaml-ppx-fields-conv-devel-0.17.0-4.fc41.x86_64 Development files for ocaml-ppx-fields-conv Fedora 41 updates for x86_64
ocaml-ppx-globalize-0.17.0-4.fc41.x86_64 Generate functions to copy local values to the global heap Fedora 41 updates for x86_64
ocaml-ppx-globalize-devel-0.17.0-4.fc41.x86_64 Development files for ocaml-ppx-globalize Fedora 41 updates for x86_64
ocaml-ppx-hash-0.17.0-4.fc41.x86_64 Generate hash functions from type expressions and definitions Fedora 41 updates for x86_64
ocaml-ppx-hash-devel-0.17.0-4.fc41.x86_64 Development files for ocaml-ppx-hash Fedora 41 updates for x86_64
ocaml-ppx-here-0.17.0-4.fc41.x86_64 Expands [@here] into its location Fedora 41 updates for x86_64
ocaml-ppx-here-devel-0.17.0-4.fc41.x86_64 Development files for ocaml-ppx-here Fedora 41 updates for x86_64
ocaml-ppx-inline-test-0.17.0-4.fc41.x86_64 Syntax extension for writing inline tests in OCaml code Fedora 41 updates for x86_64
ocaml-ppx-inline-test-devel-0.17.0-4.fc41.x86_64 Development files for ocaml-ppx-inline-test Fedora 41 updates for x86_64
ocaml-ppx-js-style-0.17.0-4.fc41.x86_64 Code style checker for Jane Street OCaml packages Fedora 41 updates for x86_64
ocaml-ppx-js-style-devel-0.17.0-4.fc41.x86_64 Development files for ocaml-ppx-js-style Fedora 41 updates for x86_64
ocaml-ppx-let-0.17.0-4.fc41.x86_64 Monadic let-bindings for OCaml Fedora 41 updates for x86_64
ocaml-ppx-let-devel-0.17.0-4.fc41.x86_64 Development files for ocaml-ppx-let Fedora 41 updates for x86_64
ocaml-ppx-optcomp-0.17.0-4.fc41.x86_64 Optional compilation for OCaml Fedora 41 updates for x86_64
ocaml-ppx-optcomp-devel-0.17.0-4.fc41.x86_64 Development files for ocaml-ppx-optcomp Fedora 41 updates for x86_64
ocaml-ppx-sexp-conv-0.17.0-4.fc41.x86_64 Generate S-expression conversion functions from type definitions Fedora 41 updates for x86_64
ocaml-ppx-sexp-conv-devel-0.17.0-4.fc41.x86_64 Development files for ocaml-ppx-sexp-conv Fedora 41 updates for x86_64
ocaml-ppx-stable-witness-0.17.0-4.fc41.x86_64 Derive a witness that a type is intended to be stable Fedora 41 updates for x86_64
ocaml-ppx-stable-witness-devel-0.17.0-4.fc41.x86_64 Development files for ocaml-ppx-stable-witness Fedora 41 updates for x86_64
ocaml-ppx-variants-conv-0.17.0-4.fc41.x86_64 Generate accessor & iteration functions for OCaml variant types Fedora 41 updates for x86_64
ocaml-ppx-variants-conv-devel-0.17.0-4.fc41.x86_64 Development files for ocaml-ppx-variants-conv Fedora 41 updates for x86_64
ocaml-ppxlib-0.33.0-2.fc41.x86_64 Base library and tools for ppx rewriters Fedora 41 updates for x86_64
ocaml-ppxlib-devel-0.33.0-2.fc41.x86_64 Development files for ocaml-ppxlib Fedora 41 updates for x86_64
ocaml-ppxlib-jane-0.17.0-4.fc41.x86_64 Utilities for working with Jane Street AST constructs Fedora 41 updates for x86_64
ocaml-ppxlib-jane-devel-0.17.0-4.fc41.x86_64 Development files for ocaml-ppxlib-jane Fedora 41 updates for x86_64
ocaml-psmt2-frontend-0.4.0-21.fc41.x86_64 Parser and typechecker for an extension of SMT-LIB 2 Fedora 41 updates for x86_64
ocaml-psmt2-frontend-devel-0.4.0-21.fc41.x86_64 Development files for ocaml-psmt2-frontend Fedora 41 updates for x86_64
ocaml-psmt2-frontend-docs-0.4.0-21.fc41.x86_64 Documentation for ocaml-psmt2-frontend Fedora 41 updates for x86_64
ocaml-ptime-1.2.0-2.fc41.x86_64 POSIX time for OCaml Fedora 41 updates for x86_64
ocaml-ptime-devel-1.2.0-2.fc41.x86_64 Development files for ocaml-ptime Fedora 41 updates for x86_64
ocaml-react-1.2.2-13.fc41.x86_64 OCaml framework for Functional Reactive Programming (FRP) Fedora 41 updates for x86_64
ocaml-react-devel-1.2.2-13.fc41.x86_64 Development files for ocaml-react Fedora 41 updates for x86_64
ocaml-sexplib-vim-0.17.0-4.fc41.x86_64 Support for sexplib syntax in vim Fedora 41 updates for x86_64
ocaml-sha-1.15.4-12.fc41.x86_64 Binding to the SHA cryptographic functions Fedora 41 updates for x86_64
ocaml-sha-devel-1.15.4-12.fc41.x86_64 Development files for ocaml-sha Fedora 41 updates for x86_64
ocaml-spdx-licenses-1.3.0-1.fc41.x86_64 SPDX License Expression parser in OCaml Fedora 41 updates for x86_64
ocaml-spdx-licenses-devel-1.3.0-1.fc41.x86_64 Development files for ocaml-spdx-licenses Fedora 41 updates for x86_64
ocaml-sqlite-5.2.0-1.fc41.x86_64 OCaml library for accessing SQLite3 databases Fedora 41 updates for x86_64
ocaml-sqlite-devel-5.2.0-1.fc41.x86_64 Development files for ocaml-sqlite Fedora 41 updates for x86_64
ocaml-ssl-0.7.0-12.20230714gitffc634d.fc41.x86_64 SSL bindings for OCaml Fedora 41 updates for x86_64
ocaml-ssl-devel-0.7.0-12.20230714gitffc634d.fc41.x86_64 Development files for ocaml-ssl Fedora 41 updates for x86_64
ocaml-stdio-0.17.0-4.fc41.x86_64 Jane Street Standard I/O library for OCaml Fedora 41 updates for x86_64
ocaml-stdio-devel-0.17.0-4.fc41.x86_64 Development files for ocaml-stdio Fedora 41 updates for x86_64
ocaml-stdlib-random-1.2.0-6.fc41.x86_64 Versioned Random module from the OCaml standard library Fedora 41 updates for x86_64
ocaml-stdlib-random-devel-1.2.0-6.fc41.x86_64 Development files for ocaml-stdlib-random Fedora 41 updates for x86_64
ocaml-time-now-0.17.0-4.fc41.x86_64 Get the current time in OCaml Fedora 41 updates for x86_64
ocaml-time-now-devel-0.17.0-4.fc41.x86_64 Development files for ocaml-time-now Fedora 41 updates for x86_64
ocaml-tyxml-4.6.0-13.fc41.x86_64 Build valid HTML and SVG documents Fedora 41 updates for x86_64
ocaml-tyxml-devel-4.6.0-13.fc41.x86_64 Development files for ocaml-tyxml Fedora 41 updates for x86_64
ocaml-tyxml-jsx-4.6.0-13.fc41.x86_64 JSX syntax for writing TyXML documents Fedora 41 updates for x86_64
ocaml-tyxml-jsx-devel-4.6.0-13.fc41.x86_64 Development files for ocaml-tyxml-jsx Fedora 41 updates for x86_64
ocaml-tyxml-ppx-4.6.0-13.fc41.x86_64 PPX for writing TyXML documents with HTML syntax Fedora 41 updates for x86_64
ocaml-tyxml-ppx-devel-4.6.0-13.fc41.x86_64 Development files for ocaml-tyxml-ppx Fedora 41 updates for x86_64
ocaml-tyxml-syntax-4.6.0-13.fc41.x86_64 Common layer for the JSX and PPX syntaxes for TyXML Fedora 41 updates for x86_64
ocaml-tyxml-syntax-devel-4.6.0-13.fc41.x86_64 Development files for ocaml-tyxml-syntax Fedora 41 updates for x86_64
ocaml-uucd-16.0.0-2.fc41.x86_64 Unicode character database decoder for OCaml Fedora 41 updates for x86_64
ocaml-uucd-devel-16.0.0-2.fc41.x86_64 Development files for ocaml-uucd Fedora 41 updates for x86_64
ocaml-uucp-16.0.0-2.fc41.x86_64 Unicode character properties for OCaml Fedora 41 updates for x86_64
ocaml-uucp-devel-16.0.0-2.fc41.x86_64 Development files for ocaml-uucp Fedora 41 updates for x86_64
ocaml-uunf-16.0.0-2.fc41.x86_64 Unicode text normalization for OCaml Fedora 41 updates for x86_64
ocaml-uunf-devel-16.0.0-2.fc41.x86_64 Development files for ocaml-uunf Fedora 41 updates for x86_64
ocaml-uuseg-16.0.0-4.fc41.x86_64 Unicode text segmentation for OCaml Fedora 41 updates for x86_64
ocaml-uuseg-devel-16.0.0-4.fc41.x86_64 Development files for ocaml-uuseg Fedora 41 updates for x86_64
ocaml-uutf-1.0.3-18.fc41.x86_64 Non-blocking streaming Unicode codec for OCaml Fedora 41 updates for x86_64
ocaml-uutf-devel-1.0.3-18.fc41.x86_64 Development files for ocaml-uutf Fedora 41 updates for x86_64
ocaml-variantslib-0.17.0-3.fc41.x86_64 OCaml variants as first class values Fedora 41 updates for x86_64
ocaml-variantslib-devel-0.17.0-3.fc41.x86_64 Development files for ocaml-variantslib Fedora 41 updates for x86_64
ocaml-version-3.7.3-1.fc41.x86_64 Manipulate, parse and generate OCaml compiler version strings Fedora 41 updates for x86_64
ocaml-version-devel-3.7.3-1.fc41.x86_64 Development files for ocaml-version Fedora 41 updates for x86_64
ocaml-why3-1.7.2-10.fc41.x86_64 Software verification library for ocaml Fedora 41 updates for x86_64
ocaml-why3-devel-1.7.2-10.fc41.x86_64 Development files for using the ocaml-why3 library Fedora 41 updates for x86_64
ocaml-xmlrpc-light-0.6.1-83.fc41.x86_64 OCaml library for writing XML-RPC clients and servers Fedora 41 updates for x86_64
ocaml-xmlrpc-light-devel-0.6.1-83.fc41.x86_64 Development files for ocaml-xmlrpc-light Fedora 41 updates for x86_64
ocaml-yaml-3.2.0-13.fc41.x86_64 Parse and generate YAML 1.1/1.2 files Fedora 41 updates for x86_64
ocaml-yaml-devel-3.2.0-13.fc41.x86_64 Development files for ocaml-yaml Fedora 41 updates for x86_64
ocaml-yaml-sexp-3.2.0-13.fc41.x86_64 Parse and generate YAML 1.1/1.2 files with sexp support Fedora 41 updates for x86_64
ocaml-yaml-sexp-devel-3.2.0-13.fc41.x86_64 Development files for ocaml-yaml-sexp Fedora 41 updates for x86_64
ocaml-yojson-2.2.2-2.fc41.x86_64 An optimized parsing and printing library for the JSON format Fedora 41 updates for x86_64
ocaml-yojson-devel-2.2.2-2.fc41.x86_64 Development files for ocaml-yojson Fedora 41 updates for x86_64
ocaml-yojson-five-2.2.2-2.fc41.x86_64 Parsing and printing library for the JSON5 format Fedora 41 updates for x86_64
ocaml-yojson-five-devel-2.2.2-2.fc41.x86_64 Development files for ocaml-yojson-five Fedora 41 updates for x86_64
python3-z3-4.13.4-1.fc41.noarch Python 3 interface to z3 Fedora 41 updates for x86_64
qm-dsp-devel-1.7.1-25.fc41.x86_64 Library for DSP and Music Informatics purposes Fedora 41 updates for x86_64
qm-dsp-devel-1.7.1-25.fc41.i686 Library for DSP and Music Informatics purposes Fedora 41 updates for x86_64
rubygem-jekyll-4.4.1-1.fc41.noarch Simple, blog aware, static site generator Fedora 41 updates for x86_64
rubygem-jekyll-doc-4.4.1-1.fc41.noarch Documentation for rubygem-jekyll Fedora 41 updates for x86_64
rust-serde_default+default-devel-0.2.0-1.fc41.noarch Generate a Default impl using serde attributes Fedora 41 updates for x86_64
rust-serde_default-devel-0.2.0-1.fc41.noarch Generate a Default impl using serde attributes Fedora 41 updates for x86_64
...

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Dec 16 00:55:44 2025