postgresql-16-auto-failover
Postgres high availability support
This extension implements a set of functions to provide High Availability to
Postgres.
qml6-module-qtcore
Qt 6 QML Core 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.
libbpp-raa4t64
Bio++ Remote Acnuc Access library
This library contains utilitary and classes to query public databases
(GenBank, EMBL, SwissProt, etc) using acnuc.
It is part of the Bio++ project.
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.
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.
qdbus-qt6
Qt 6 D-Bus application
Qt is a cross-platform C++ application framework. Qt's primary feature
is its rich set of widgets that provide standard GUI functionality.