Software Packages in "ecne-updates", Subsection ocaml

ben (0.10.3ubuntu2)

toolbox for Debian maintainers

coq-dpdgraph-tools (1.0+8.18-1)

Coq plugin to extract dependencies between Coq objects (tools)

coq-hierarchy-builder (1.6.0-1build2)

build hierarchies of algebraic structures in Coq (tool)

coqprime-tools (8.18-1)

Primality certification for Coq (tools)

libben-ocaml (0.10.3ubuntu2)

OCaml libraries for Debian maintainers (runtime package)

libben-ocaml-dev (0.10.3ubuntu2)

OCaml libraries for Debian maintainers (development package)

libcohttp-lwt-jsoo-ocaml (5.3.0-1build4)

CoHTTP implementation for the Js_of_ocaml JavaScript compiler (runtime)

libcohttp-lwt-jsoo-ocaml-dev (5.3.0-1build4)

CoHTTP implementation for the Js_of_ocaml JavaScript compiler (dev)

libcohttp-lwt-ocaml (5.3.0-1build4)

CoHTTP implementation using the Lwt concurrency library (runtime)

libcohttp-lwt-ocaml-dev (5.3.0-1build4)

CoHTTP implementation using the Lwt concurrency library (dev)

libcohttp-lwt-unix-ocaml (5.3.0-1build4)

CoHTTP implementation for Unix and Windows using Lwt (runtime)

libcohttp-lwt-unix-ocaml-dev (5.3.0-1build4)

CoHTTP implementation for Unix and Windows using Lwt (dev)

libcohttp-ocaml (5.3.0-1build4)

OCaml library for HTTP clients and servers (runtime)

libcohttp-ocaml-dev (5.3.0-1build4)

OCaml library for HTTP clients and servers (dev)

libcoq-bignums (9.0.0+coq8.18-1)

Coq library for big numbers

libcoq-coqeal (2.0.1-1build2)

algebra and data structure algorithms for Coq

libcoq-coqprime (8.18-1)

Primality certification for Coq (library)

libcoq-coquelicot (3.4.1-1build2)

Coq library for real analysis

libcoq-core-ocaml (8.18.0+dfsg-1)

runtime libraries for Coq

libcoq-core-ocaml-dev (8.18.0+dfsg-1)

development libraries and tools for Coq

libcoq-corn (8.18.0-1)

Coq Constructive Repository at Nijmegen

libcoq-deriving (0.2.0-1build2)

deriving MathComp classes from inductive types

libcoq-dpdgraph (1.0+8.18-1)

Coq plugin to extract dependencies between Coq objects

libcoq-elpi (1.19.3-2build1)

Coq plugin embedding Elpi

libcoq-equations (1.3-8.18-1)

Coq library to work with functions defined by equations

libcoq-ext-lib (0.12.0-1build1)

Collection of theories and plugins for Coq

libcoq-extructures (0.4.0-1build2)

data structures with extensional reasoning for Coq

libcoq-flocq (4.1.3-1build1)

Floating-point arithmetic for Coq

libcoq-hammer (1.3.2+8.18-1)

automated reasoning tool for Coq

libcoq-hierarchy-builder (1.6.0-1build2)

build hierarchies of algebraic structures in Coq (runtime files)

libcoq-hott (8.18-3build1)

Coq library for homotopy type theory

libcoq-interval (4.9.0-1build2)

interval arithmetic for Coq

libcoq-iris (4.1.0-1)

high-order concurrent separation logic framework for Coq

libcoq-libhyps (2.0.8-1build1)

Tactics on hypotheses in Coq

libcoq-math-classes (8.18.0-1)

Abstract interfaces for mathematical structures for Coq

libcoq-mathcomp-algebra-tactics (1.2.3-1build2)

Ring and field tactics for Mathematical Components

libcoq-mathcomp-analysis (1.0.0-1build1)

analysis extension for Mathematical Components

libcoq-mathcomp-bigenough (1.0.1-12build2)

epsilon - N reasoning for Mathematical Components

libcoq-mathcomp-classical (1.0.0-1build1)

classical logic extension for Mathematical Components

libcoq-mathcomp-finmap (2.0.0-2build2)

finite sets and maps extension for Mathematical Components

libcoq-mathcomp-multinomials (2.2.0-1build2)

Multivariate polynomials for Mathematical Components

libcoq-mathcomp-real-closed (2.0.0-1build2)

Real closed fields for Mathematical Components

libcoq-mathcomp-zify (1.5.0+2.0+8.16-1build2)

Micromega arithmetic solvers for Mathematical Components

libcoq-menhirlib (20231231+ds-1)

support library for Coq-verified Menhir parsers

libcoq-mtac2 (1.4+8.18-1)

Mtac2 tactic language for Coq

libcoq-ott (0.33+ds-2build1)

Ott tool (Coq plugin)

libcoq-paramcoq (1.1.3+coq8.18-1)

Coq plugin to generate parametricity statements

libcoq-quickchick (2.0.2-1build2)

randomized testing framework for Coq (plugin)

libcoq-record-update (0.3.3-1build1)

automatic record fields updaters for Coq

libcoq-reduction-effects (0.1.5-1)

reduction effects for Coq

libcoq-reglang (1.2.1-1build2)

representation of regular languages in Coq

libcoq-relation-algebra (1.7.9-2build2)

relation algebra for Coq

libcoq-simple-io (1.8.0-4ubuntu1)

Coq plugin for purely functional IO

libcoq-stdpp (1.9.0-1)

Extended standard library for Coq

libcoq-unicoq (1.6-8.18-1)

enhanced unification algorithm for Coq

libcoq-unimath (20231010-1)

univalent formalization of mathematics for Coq

libffmpeg-ocaml (1.1.10-1)

OCaml interface for FFmpeg -- runtime files

libffmpeg-ocaml-dev (1.1.10-1)

OCaml interface for FFmpeg -- development files

libflac-ocaml (0.5.0-1)

OCaml interface to the flac library -- runtime files

libflac-ocaml-dev (0.5.0-1)

OCaml interface to the flac library -- development files

libgstreamer-ocaml (0.3.1-4build1)

OCaml interface to the GStreamer library -- runtime files

libgstreamer-ocaml-dev (0.3.1-4build1)

OCaml interface to the GStreamer library -- development files

libguestfs-ocaml (1:1.52.0-2ubuntu7)

guest disk image management system - OCaml bindings

libguestfs-ocaml-dev (1:1.52.0-2ubuntu7)

guest disk image management system - OCaml development files

libhivex-ocaml (1.3.23-1build5)

OCaml bindings for hivex -- runtime files

libhivex-ocaml-dev (1.3.23-1build5)

OCaml bindings for hivex -- development files

liblablgtk3-ocaml (3.1.4-1)

OCaml bindings to Gtk+ version 3 (runtime)

liblablgtk3-ocaml-dev (3.1.4-1)

OCaml bindings to Gtk+ version 3 (development files)

liblablgtksourceview3-ocaml (3.1.4-1)

OCaml bindings for libgtksourceview3 (runtime)

liblablgtksourceview3-ocaml-dev (3.1.4-1)

OCaml bindings for libgtksourceview3 (development files)

liblablgtkspell3-ocaml (3.1.4-1)

OCaml bindings for libgtkspell3 (runtime)

liblablgtkspell3-ocaml-dev (3.1.4-1)

OCaml bindings for libgtkspell3 (development files)

liblambda-term-ocaml (3.3.2-1build6)

terminal manipulation library for OCaml (runtime)

liblambda-term-ocaml-dev (3.3.2-1build6)

terminal manipulation library for OCaml (development tools)

libllvm-14-ocaml-dev (1:14.0.6-16build2)

Modular compiler and toolchain technologies, OCaml bindings

libllvm-15-ocaml-dev (1:15.0.7-11)

Modular compiler and toolchain technologies, OCaml bindings

libllvm-16-ocaml-dev (1:16.0.6-20)

Modular compiler and toolchain technologies, OCaml bindings

libllvm-17-ocaml-dev (1:17.0.6-5build1)

Modular compiler and toolchain technologies, OCaml bindings

libllvm-18-ocaml-dev (1:18.1.3-1ubuntu1)

Modular compiler and toolchain technologies, OCaml bindings

libllvm-19-ocaml-dev (1:19.1.1-1ubuntu1~24.04.2 [amd64, arm64, ppc64el, riscv64], 1:19~++20240125092523+41fe98a6e7e5-1~exp1 [armhf])

Modular compiler and toolchain technologies, OCaml bindings

libllvm-20-ocaml-dev (1:20.1.2-0ubuntu1~24.04.3)

Modular compiler and toolchain technologies, OCaml bindings

libllvm-ocaml-dev (1:17.0-58~exp1)

Low-Level Virtual Machine (LLVM), bindings for OCaml

libluv-ocaml (0.5.12-2build1)

OCaml binding to libuv (Runtime library)

libluv-ocaml-dev (0.5.12-2build1)

OCaml binding to libuv (Development package)

libluv-unix-ocaml (0.5.12-2build1)

Helpers for interfacing OCaml Luv and Unix (Runtime library)

libluv-unix-ocaml-dev (0.5.12-2build1)

Helpers for interfacing OCaml Luv and Unix (Development package)

liblwt-ocaml (5.7.0-1build3)

cooperative light-weight thread library for OCaml (runtime)

libmorbig-ocaml-dev (0.10.4-7build3)

OCaml libraries of the morbig shell parser (development files)

libnbd-ocaml (1.18.2-1build1)

Network Block Device client library -- OCaml bindings

libnbd-ocaml-dev (1.18.2-1build1)

Network Block Device client library -- OCaml development files

libobus-ocaml (1.2.4-3build3)

pure OCaml implementation of D-Bus (runtime)

libobus-ocaml-bin (1.2.4-3build3)

pure OCaml implementation of D-Bus (command-line tools)

libobus-ocaml-dev (1.2.4-3build3)

pure OCaml implementation of D-Bus (development files)

libocsigenserver-ocaml (5.1.2-1build4)

web server of the Ocsigen project (runtime libraries)

libocsigenserver-ocaml-dev (5.1.2-1build4)

web server of the Ocsigen project (dev libraries)

libplplot-ocaml (5.15.0+dfsg2-9build1.1)

OCaml bindings for the scientific plotting library

libplplot-ocaml-dev (5.15.0+dfsg2-9build1.1)

OCaml support for the PLplot plotting library (development files)

libwhy3-ocaml-dev (1.6.0-1build4)

OCaml librariries for why3 (dev)

ott-tools (0.33+ds-2build1)

Ott tool (executable)

quickchick (2.0.2-1build2)

randomized testing framework for Coq (tools)