circle-term
terminal frontend for the Circle application host
libcoq-paramcoq
Coq plugin to generate parametricity statements
interception-tools-compat
minimal composable infrastructure on top of libudev and libevdev
libstd-rust-1.77
Rust standard libraries
libgphobos5-s390x-cross
Phobos D standard library (runtime library)
libstdc++-14-dev-amd64-cross
GNU Standard C++ Library v3 (development files) (amd64)
libstdc++-14-dev-arm64-cross
GNU Standard C++ Library v3 (development files) (arm64)
libgphobos5-ppc64el-cross
Phobos D standard library (runtime library)
gnome-shell-extension-places-menu
Places menu for GNOME Shell
libtiledb2.7
Store and access very large multi-dimensional array data (runtime library)
libexecs1
C library for commands execution
libqd0t64
Double-double and quad double types in C++ and F90
cpp-for-build
GNU C preprocessor (cpp) for the build architecture
libpromod3-core3.2
protein homology modelling engine
libqcoro6quick0t64
C++20 coroutines for Qt6 - QtQuick
libavkys9
full featured webcam capture application - library
python3-pyaps3
Python based Atmospheric Phase Screen Estimation
g++-for-build
GNU C++ compiler for the build architecture
libpromod3-loop3.2
protein homology modelling engine
libpromod3-modelling3.2
protein homology modelling engine
libpromod3-sidechain3.2
protein homology modelling engine
metalfinder
cli tool to find concerts using your music collection
nvidia-vaapi-driver
VA-API implementation that uses NVDEC as a backend
gcc-for-host
GNU C compiler for the host architecture