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.
Simple GNOME app with stopwatch, timer, and world clock support

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.