libstdc++-14-pic-s390x-cross

GNU Standard C++ Library v3 (shared library subset kit) (s390x)

This is used to develop subsets of the libstdc++ shared libraries for use on custom installation floppies and in embedded systems.

libstdc++6-arm64-cross

GNU Standard C++ Library v3 (arm64)

This package contains an additional runtime library for C++ programs built with the GNU compiler.

apache2-utils

Apache HTTP Server (utility programs for web servers)

Provides some add-on programs useful for any web server. These include: - ab (Apache benchmark tool) - fcgistarter (Start a FastCGI program) - logresolve (Resolve IP addresses to hostnames in logfiles) - htpasswd (Manipulate basic authentication files) - htdigest (Manipulate digest authentication files) - htdbm (Manipulate basic authentication files in DBM format, using APR) - htcacheclean (Clean up the disk cache) - rotatelogs (Periodically stop writing to a logfile and open a new one) - split-logfile (Split a single log including multiple vhosts) - checkgid (Checks whether the caller can setgid to the specified group) - check_forensic (Extract mod_log_forensic output from Apache log files) - httxt2dbm (Generate dbm files for use with RewriteMap)

libcoq-hierarchy-builder

build hierarchies of algebraic structures in Coq

This software provides high-level commands to build hierarchies of algebraic structures in the Coq system.

gir1.2-gexiv2-0.10

GObject-based wrapper around the Exiv2 library - introspection data

gexiv2 is a GObject-based wrapper around the Exiv2 library. It makes the basic features of Exiv2 available to GNOME applications.

gmtsar-core

InSAR processing system based on Generic Mapping Tools - core

GMTSAR is an open source Interferometric Synthetic Aperture RADAR (InSAR) processing system designed for users familiar with Generic Mapping Tools (GMT).