libastring-ocaml
alternative String module for OCaml (runtime)
Astring exposes an alternative String module for OCaml. This module
tries to balance minimality and expressiveness for basic, index-free,
string processing and provides types and functions for substrings,
string sets and string maps.
gnat-13-for-build
GNU Ada compiler for the build architecture
GNAT is a compiler for the Ada programming language. It produces optimized
code on platforms supported by the GNU Compiler Collection (GCC).
gobjc++-13-for-build
GNU Objective-C++ compiler for the build architecture
This is the GNU Objective-C++ compiler for the build architecture,
which compiles Objective-C++ on platforms supported by the gcc compiler.
It uses the gcc backend to generate optimized code.
libcoq-mathcomp-multinomials
Multivariate polynomials for Mathematical Components
This package provides an extension to Mathematical Components
for monomial algebra, multivariate polynomials over ring
structures and an extended theory for polynomials whose
coefficients live in abelian rings and integral domains.
python3-pypowervm
Python binding for the PowerVM REST API - Python 3.x
PowerVM, formerly known as Advanced Power Virtualization (APV), is a
chargeable feature of IBM POWER6, POWER7 and POWER8 servers and is required
for support of micro-partitions and other advanced features. Support is
provided for IBM i, AIX and Linux. This Python module is a REST client for the
PowerVM API.
gcc-10-base
GCC, the GNU Compiler Collection (base package)
This package contains files common to all languages and libraries
contained in the GNU Compiler Collection (GCC).