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-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.
libpmix-bin
Process Management Interface (Exascale) library - tools
PMIX is the OpenMPI implementation of the Process Management Interface (PMI)
Exascale API. This package provides utilities for working with pmix.
libgtkdsv-3-0
GTK+ syntax highlighting widget - D bindings
GtkSourceView is a text widget that extends the standard GTK+ 3.x text widget
GtkTextView. It improves GtkTextView by implementing syntax highlighting and
other features typical of a source editor.
libvted-3-0
Terminal emulator widget for GTK+ - D bindings
The VTE library provides a terminal emulator widget VteTerminal for
applications using the GTK+ toolkit.
It also provides the VtePTY object containing functions for starting a
new process on a new pseudo-terminal and for manipulating pseudo-terminals.
libip4tc0
netfilter libip4tc library