libvectorscan5

Portable fork of Intel's Hyperscan library

Vectorscan is a portable fork of Intel's Hyperscan project. It is a drop-in replacement that promises to be API/ABI compatible with the original project, while allowing it to run on other architectures such as AArch64 and Power9.

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.