libnvidia-tesla-510-ngx1

NVIDIA NGX runtime library (Tesla 510)

The NVIDIA binary driver provides optimized hardware acceleration of OpenGL/GLX/EGL/GLES applications via a direct-rendering X Server for graphics cards using NVIDIA chip sets.

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.

gcc-13-arm-linux-gnueabihf-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).

lib64stdc++-13-dev-mips-cross

GNU Standard C++ Library v3 (development files) (mips)

This package contains the headers and static library files necessary for building C++ programs which use libstdc++.

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++.