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.

gcc-13-arc-linux-gnu-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).

jbmc

bounded model checker for Java programs

JBMC generates traces that demonstrate how an assertion can be violated, or proves that the assertion cannot be violated within a given number of loop iterations.

libqgis-gui3.34.13

QGIS - shared gui library

QGIS is a Geographic Information System (GIS) which manages, analyzes and display databases of geographic information.

libqgis-server3.34.13

QGIS - shared server library

QGIS is a Geographic Information System (GIS) which manages, analyzes and display databases of geographic information.

libbctoolbox1t64

Helper library for software by Belledonne Communications (shared library)

The package provides a C/C++ utility library used by Linphone and other software by Belledonne Communications. The library offers platform independent implementations of cryptographic functions, exception handling, logging modules, file access, unit tests and data structures like lists and maps.