libgm2-18

GNU Modula-2 standard library (runtime library)

This is the GNU Modula-2 standard library that comes with the gm2 compiler.

libqt6core6

Qt 6 core module

Qt is a cross-platform C++ application framework. Qt's primary feature is its rich set of widgets that provide standard GUI functionality.

libhierarchy-builder-coq

build hierarchies of algebraic structures in Coq (runtime files)

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

node-decko

useful Javascript decorators

Decorators help simplify code by replacing the noise of common patterns with declarative annotations.

qml6-module-qt5compat-graphicaleffects

Qt 6 Qt5Compat QML module

Qt is a cross-platform C++ application framework. Qt's primary feature is its rich set of widgets that provide standard GUI functionality.

task-science-blend

Debian Science (various sciences)

This package is used to install the Debian science blend.