lib32gphobos3-x32-cross

Phobos D standard library (runtime library)

This is the Phobos standard library that comes with the D2 compiler.

libhinawa4

I/O library for IEEE 1394 asynchronous transaction

This is an I/O library to operate 1394 OHCI hardware for asynchronous transaction in IEEE 1394 bus.

librpmbuild9t64

RPM build shared library

The RPM Package Manager (RPM) is a command-line driven package management system capable of installing, uninstalling, verifying, querying, and updating computer software packages.

g++-13-sparc64-linux-gnu

GNU C++ compiler for sparc64-linux-gnu architecture

This is the GNU C++ compiler, a fairly portable optimizing compiler for C++.

primecount

fast prime number counter C/C++ library

primecount is a free software program and C/C++ library that counts the primes below an integer x <= 10^31 using highly optimized implementations of the combinatorial prime counting algorithms.

libcoq-mathcomp-algebra

Mathematical Components library for Coq (algebra)

The Mathematical Components Library is an extensive and coherent repository of formalized mathematical theories. It is based on the Coq proof assistant, powered with the Coq/SSReflect language.