lib32stdc++-13-dev-sparc64-cross
GNU Standard C++ Library v3 (development files) (sparc64
This package contains the headers and static library files necessary for
building C++ programs which use libstdc++.
libmawk1t64
embeddable mawk lib
Libmawk is a fork of the popular awk implementation mawk, and aims to be
the lightweight script language programmers embed in their application.
libcoq-mathcomp
Mathematical Components library for Coq (all)
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.
libdraco1a
Library for compressing 3D geometric meshes and point clouds
Draco is a library for compressing and decompressing 3D geometric meshes
and point clouds. It is intended to improve the storage and transmission
of 3D graphics.
lib32go22-x32-cross
Runtime library for GNU Go applications (32bit)
Library needed for GNU Go applications linked against the
shared library.
lib32go22-sparc64-cross
Runtime library for GNU Go applications (32bit)
Library needed for GNU Go applications linked against the
shared library.