python-django-redis
Redis cache backend for Django (Python 2)
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.