libllvmspirvlib15
bi-directional translator for LLVM/SPIRV -- shared library
python3-rstcheck
Validator for reStructuredText documents with code blocks (Python 3 module)
python3-poetry-plugin-export
Poetry plugin to export the dependencies to various formats
debian-coq-tools
various tools to manage Coq-related Debian packages
sublist3r
Fast subdomains enumeration tool for penetration testers
libppx-base-ocaml
base set of ppx rewriters (runtime files)
python3-sphinx-multiversion
Add support for multiple versions to sphinx
nvidia-tesla-510-egl-icd
NVIDIA EGL installable client driver (ICD)
libppx-assert-ocaml
provide assertions in OCaml (runtime files)
libppx-cold-ocaml
provide the @cold annotation for OCaml (runtime files)
libwolfssl42
wolfSSL encryption library
qemu-system-xen
QEMU full system emulation (Xen helper package)
python3-pyequihash
python bindings for libequihash: memory-hard Proof-of-Work
python3-radicale-dovecot-auth
Dovecot authentication plugin for Radicale
libppx-expect-ocaml
testing framework for OCaml (runtime files)
libsollya8
library for safe floating-point code development -- lib
searx-admin
Web based management interface for searx
ntpd-rs
Rust-based NTP implementation with NTS support
libppx-enumerate-ocaml
list all values of a finite type (runtime files)
python3-bytecode
Python module to generate, modify and optimize Python bytecode
libppx-globalize-ocaml
copy local values to the global heap (runtime files)
libshp4
Library for reading and writing ESRI Shapefiles
qt5-avif-image-plugin
Qt plug-in to read/write AVIF images (Qt5 plugin)
rsendmail
email delivery over SSH and restricted sendmail