gcc-13-cross-base-ports
GCC, the GNU Compiler Collection (library base package)
This empty package contains changelog and copyright files common to
all libraries contained in the GNU Compiler Collection (GCC).
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).
roundcube-skin-classic
skinnable AJAX based webmail solution for IMAP servers - classic theme
RoundCube Webmail is a browser-based multilingual IMAP client with an
application-like user interface. It provides full functionality
expected from an e-mail client, including MIME support, address book,
folder manipulation and message filters.
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.
libopencv-viz4.5d
computer vision 3D data visualization library
This package contains the OpenCV (Open Computer Vision) 3D data visualization
runtime libraries.
hackage-tracker
Haskell package version tracker
Generates a file with information that can be used to update the Debian
versions on Hackage for each package available there. Those versions appear
in the Distribution field on Hackage.