libcvc5-1
automated theorem prover for SMT problems (runtime)
nvidia-tesla-510-driver
NVIDIA metapackage (Tesla 510 version)
libadios2-serial-plugins
ADIOS2 Adaptable IO system for simulations - core libraries (serial)
libtevent0t64
talloc-based event loop library - shared library
python3-sphinx-inline-tabs
Add inline tabbed content to your Sphinx documentation
dict-freedict-nld-pol
Dutch-Polish dictionary for the dict server/client
gccrs-14-riscv64-linux-gnu
GNU Rust compiler for the riscv64-linux-gnu architecture
gnat-12-x86-64-linux-gnux32
GNU Ada compiler
libgnat-12-x32-cross
runtime for applications compiled with GNAT (shared library)
r-cran-cvar
GNU R package to Computed Expected Shortfall and Value at Risk
r-cran-sftime
GNU R support for simple feature objects that have a time column
libstarpu-1.3-9
Task scheduler for heterogeneous multicore machines
libns3.38
shared libraries of ns-3
theme-d-bootstrap
Bootstrapped Theme-D environment
libthrift-0.19.0t64
Thrift C++ library
gnustep-back0.31-cairo
GNUstep GUI Backend (cairo)
libsonivox3
Sonivox Embedded Audio Synthesis Library
libmeep-openmpi28
library for using parallel (OpenMPI) version of meep
python3-django-iconify
Iconify API implementation and tools for Django projects
gcc-14-s390x-linux-gnu-base
GCC, the GNU Compiler Collection (base package)
libgeos3.11.1
Geometry engine for Geographic Information Systems - C++ Library
Simple yet fancy CPU architecture fetching tool
cpufetch
Simple yet fancy CPU architecture fetching tool
gnome-shell-extension-manager
Utility for managing GNOME Shell Extensions
python3-bitmath
handle file sizes with different prefix notations (Python3 version)