gobjc++-9-multilib-x86-64-linux-gnux32
GNU Objective-C++ compiler (multilib support)
This is the GNU Objective-C++ compiler, which compiles Objective-C++ on
platforms supported by the gcc compiler.
libgnat-11-sh4-cross
runtime for applications compiled with GNAT (shared library)
GNAT is a compiler for the Ada programming language. It produces optimized
code on platforms supported by the GNU Compiler Collection (GCC).
libddsc-tools
Eclipse Cyclone DDS tools
Eclipse Cyclone DDS is a very performant and robust open-source DDS
implementation. Cyclone DDS is developed completely in the open as an
Eclipse IoT project with a growing list of adopters. It is a tier-1
middleware for the Robot Operating System (ROS 2).
python3-z3
theorem prover from Microsoft Research - Python 3 bindings
Z3 is a state-of-the-art theorem prover from Microsoft Research. See the z3
package for a detailed description.