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.