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.