libxmlada-input4.6
XML/Ada, a full XML suite for Ada programmers (input sources runtime)
libgtkd-3-0
GTK+ graphical user interface library - D bindings
GTK+ is a multi-platform toolkit for creating graphical user interfaces.
Offering a complete set of widgets, GTK+ is suitable for projects ranging
from small one-off tools to complete application suites.
qml6-module-qtqml-xmllistmodel
Qt 6 QtQml XmlListModel 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.
libhttrack2
Httrack website copier library
This package is the library part of httrack, website copier and mirroring
utility
libcoq-unimath
univalent formalization of mathematics for Coq
This package provides a library to formalize a substantial body
of mathematics using the univalent point of view.
gnome-clocks
Simple GNOME app with stopwatch, timer, and world clock support
GNOME Clocks is a simple application to show the time and date in multiple
locations and set alarms or timers. A stopwatch is also included.