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.