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.