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.