libcoq-stdlib
proof assistant for higher-order logic (theories)
Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
specification. It is developed using Objective Caml and Camlp5.
php-symfony-esendex-notifier
Symfony Esendex Notifier Bridge
The Symfony Esendex Notifier Bridge provides Esendex integration
for Symfony Notifier.
lib64stdc++-13-dev-mipsr6el-cross
GNU Standard C++ Library v3 (development files) (mipsr6el)
This package contains the headers and static library files necessary for
building C++ programs which use libstdc++.
gcc-13-powerpc64-linux-gnu-base
GCC, the GNU Compiler Collection (base package)
This package contains files common to all languages and libraries
contained in the GNU Compiler Collection (GCC).
libvisp-mbt3.6
visual servoing platform mbt library
This package contains the ViSP (Visual Servoing Platform) markerless
3D model-based tracker (mbt) runtime library.
nvidia-tesla-510-driver-libs
NVIDIA metapackage (OpenGL/GLX/EGL/GLES libraries) (Tesla 510 version)
This metapackage depends on the NVIDIA binary libraries
that provide optimized hardware acceleration of
OpenGL/GLX/EGL/GLES applications via a direct-rendering X Server.