libotbstreaming-8.1-1

ORFEO Toolbox library - OTBStreaming

ORFEO Toolbox (OTB) is distributed as an open source library of image processing algorithms. OTB is based on the medical image processing library ITK and offers particular functionalities for remote sensing image processing in general and for high spatial resolution images in particular.

libotbwavelet-8.1-1

ORFEO Toolbox library - OTBWavelet

ORFEO Toolbox (OTB) is distributed as an open source library of image processing algorithms. OTB is based on the medical image processing library ITK and offers particular functionalities for remote sensing image processing in general and for high spatial resolution images in particular.

debian-coq-tools

various tools to manage Coq-related Debian packages

Those tools make it easier to track package dependencies and possible breakage and maintain the whole Coq-in-Debian stack sane: - coq-planif-transition: find out which packages depend on some others for transition planification. - coq-wanna-build: compute the dak script for a planned transition.

libppx-base-ocaml

base set of ppx rewriters (runtime files)

This package provides the base set of ppx rewriters, used to build various other Jane Street packages.

python3-poetry-plugin-export

Poetry plugin to export the dependencies to various formats

This package is a plugin that allows the export of locked packages to various formats. This plugin provides the same features as the existing export command of Poetry which it will eventually replace.

libppx-assert-ocaml

provide assertions in OCaml (runtime files)

This package provides extension nodes to compare values and raise useful errors if they differ.