libcoq-math-classes
Abstract interfaces for mathematical structures for Coq
libstopt5t64
library for stochastic optimization problems (shared library)
fcitx5-table-arabic
Flexible Input Method Framework v5 - Arabic table
nvidia-settings-tesla
tool for configuring the NVIDIA graphics driver (Tesla version)
libcoq-stdpp
Extended standard library for Coq
libace-ssl-7.1.2
ACE secure socket layer library
libace-tmcast-7.1.2
ACE transactional multicast library
libacexml-7.1.2
ACE SAX based XML parsing library
libnetsvcs-7.1.2
ACE network service implementations - libraries
libcoq-simple-io
Coq plugin for purely functional IO
libadios2-serial-c-2.10
ADIOS2 Adaptable IO system for simulations - C binding libraries (serial)
debian-installer-12-netboot-i386
Debian-installer network boot images for i386
jack-example-tools
JACK Audio Connection Kit (example clients)
fcitx5-table-malayalam-phonetic
Flexible Input Method Framework v5 - Malayalam phonetic table
postgresql-14-repmgr
replication manager for PostgreSQL 14
minetest-mod-advmarkers-csm
Minetest mod - marker/waypoint CSM for Minetest
libsysrepo6t64
YANG-based configuration and operational state data store [C library]
nvidia-cuda-samples
Samples which demonstrate features in NVIDIA CUDA Toolkit
hdf5-filter-plugin
external filters for HDF5: LZ4, BZip2, Bitshuffle
libqgispython3.22.10
QGIS - shared Python library
python3-graph-tool
Efficient network analysis -- Python
libadios2-serial-core-2.10
ADIOS2 Adaptable IO system for simulations - core libraries (serial)
fonts-morisawa-bizud-mincho
Universal Design typeface Mincho fonts
python3-validate-pyproject
Automated checks on pyproject.toml by JSON Schema definitions