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.