| x86_64 |
Extra |
bigloo |
4.7a-1 |
Fast scheme compiler |
2026-06-12 |
|
| x86_64 |
Extra |
brltty |
6.9.1-3 |
Braille display driver for Linux/Unix |
2026-06-22 |
|
| x86_64 |
Extra |
brltty-udev-generic |
6.9.1-3 |
Generic udev rules for brltty |
2026-06-22 |
|
| x86_64 |
Extra |
camlp-streams |
5.0.1-13 |
The Stream and Genlex libraries for use with Camlp4 and Camlp5. |
2026-06-22 |
|
| x86_64 |
Multilib |
cmucl |
21e-1 |
CMU Common Lisp |
2024-03-10 |
|
| x86_64 |
Extra |
dracut-brltty |
6.9.1-3 |
Braille display driver for Linux/Unix - dracut modules |
2026-06-22 |
|
| x86_64 |
Extra |
facile |
1.1.4-13 |
A Functional Constraint Library |
2026-06-22 |
|
| x86_64 |
Extra |
hivex |
1.3.24-8 |
System for extracting the contents of Windows Registry |
2026-06-22 |
|
| x86_64 |
Extra |
java-brltty |
6.9.1-3 |
Braille display driver for Linux/Unix - java bindings |
2026-06-22 |
|
| x86_64 |
Extra |
lablgtk3 |
3.1.5-2 |
An Objective Caml interface to gtk3 |
2026-06-22 |
|
| x86_64 |
Extra |
metalog |
20260221-1 |
A modern replacement for syslogd and klogd |
2026-06-15 |
2026-08-11 |
| x86_64 |
Extra |
ocaml |
5.5.0-1 |
A functional language with OO extensions |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-astring |
0.8.5-10 |
Alternative String module for OCaml |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-augeas |
0.7-3 |
OCaml bindings for Augeas |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-base |
0.17.3-2 |
Full standard library replacement for OCaml |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-bigarray-compat |
1.1.0-9 |
Compatibility library to use Stdlib.Bigarray when possible |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-bos |
0.3.0-1 |
OCaml support for basic and robust interaction with the operating system |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-brltty |
6.9.1-3 |
Braille display driver for Linux/Unix - OCaml bindings |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-cairo |
0.6.5-6 |
OCaml binding to Cairo, a 2D Vector Graphics Library |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-cmdliner |
2.1.1-1 |
Declarative definition of command line interfaces for OCaml |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-compiler-libs |
5.5.0-1 |
Several modules used internally by the OCaml compiler |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-csexp |
1.5.2-10 |
OCaml canonical S-expressions |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-ctypes |
0.24.0-2 |
Library for binding to C libraries using pure OCaml |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-findlib |
1.9.8-7 |
OCaml package manager |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-fmt |
0.11.0-4 |
OCaml Format pretty-printer combinators |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-fpath |
0.7.3-10 |
OCaml module for handling file system paths with POSIX and Windows conventions |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-gen |
1.1-5 |
Simple, efficient iterators |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-hashcons |
1.4.0-3 |
OCaml hash-consing library |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-integers |
0.8.0-1 |
Various signed and unsigned integer types for OCaml |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-intrinsics-kernel |
0.17.2-2 |
OCaml interface to operations that have dedicated hardware instructions on some micro-architectures |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-logs |
0.10.0-2 |
Logging infrastructure for OCaml |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-num |
1.6-4 |
Library for arbitrary-precision integer and rational arithmetic that used to be part of the OCaml core distribution |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-pcre2 |
8.0.4-3 |
OCaml bindings to the pcre2 library |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-pp |
2.0.0-6 |
OCaml Pretty printing: a lean alternative to the Format module of the OCaml standard library. |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-ppx_derivers |
1.2.1-20 |
Shared deriving plugin registry |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-ptmap |
2.0.5-5 |
Maps over integers implemented as Patricia trees |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-re |
1.14.0-3 |
A regular expression library for OCaml |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-result |
1.5-17 |
Compatibility Result module |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-rresult |
0.7.0-10 |
OCaml module for handling computation results and errors in an explicit and declarative manner |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-seq |
0.3.1-5 |
Compatibility package for the standard OCaml iterator type |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-sexplib0 |
0.17.0-6 |
Library containing the definition of S-expressions and some base converters |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-stdio |
0.17.0-6 |
Standard IO Library for OCaml |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-stdlib-shims |
0.3.0-14 |
Shim to substitute `Pervasives` with `Stdlib` before 4.08 |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-topkg |
1.1.1-1 |
A packager for distributing OCaml software |
2026-06-22 |
|
| x86_64 |
Extra |
ocaml-zarith |
1.14-9 |
Implements arithmetic and logical operations over arbitrary-precision integers and rational numbers |
2026-06-22 |
|
| x86_64 |
Extra |
python-brltty |
6.9.1-3 |
Braille display driver for Linux/Unix - Python bindings |
2026-06-22 |
|
| x86_64 |
Extra |
rocq |
9.1.1-2 |
Interactive theorem prover, or proof assistant |
2026-06-22 |
2026-03-31 |
| any |
Extra |
rocq-stdlib |
9.1.0-2 |
Stdlib for the Rocq Prover |
2026-06-22 |
2026-07-24 |
| x86_64 |
Extra |
rocqide |
9.1.1-2 |
Interactive theorem prover, or proof assistant (GTK-based GUI) |
2026-06-22 |
2026-03-31 |
| x86_64 |
Extra |
tcl-brltty |
6.9.1-3 |
Braille display driver for Linux/Unix - TCL integration |
2026-06-22 |
|