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.