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