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.