This is a staging site. Uploads will not persist. Testing only.

gobjc-11-mipsisa32r6-linux-gnu

GNU Objective-C compiler

This is the GNU Objective-C compiler, which compiles Objective-C on platforms supported by the gcc compiler. It uses the gcc backend to generate optimized code.

libcoq-mathcomp-finmap

finite sets and maps extension for Mathematical Components

This package provides an extension to manage finite sets, finite maps and finitely supported functions extending for the Mathematical Components library.

python3-colcon-test-result

Extension for colcon to provide information about test results

This package is part of Robot OS version 2 (ROS2). It extends colcon, the meta build tool used in ROS2, by providing information about test results.

lib32stdc++-12-dev-mips64-cross

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

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