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++.