libcoq-iris
high-order concurrent separation logic framework for Coq
This package provides a high-order concurrent separation
logic framework for Coq, which means it is useful to reason
about safety of concurrent programs.
k3conf
Powerful Diagnostic Tool for Texas Instruments K3 based Processors
K3CONF is a Linux user-space application designed to provide a quick'n easy way
to dynamically diagnose Texas Instruments' K3 architecture based processors.
k3conf is intended to provide a similar experience to that of OMAPCONF that
runs on legacy TI platforms.
gir1.2-nautilus-4.0
libraries for nautilus components - gir bindings
Nautilus is the official file manager and graphical shell for the
GNOME desktop.
libqgispython3.22.12
QGIS - shared Python library
QGIS is a Geographic Information System (GIS) which manages, analyzes and
display databases of geographic information.
gnome-shell-extension-flypie
innovative marking menu via keyboard shortcuts
Fly-Pie is an extension for GNOME Shell which lets you open marking menus via
keyboard shortcuts. It is the first GNOME Shell extension with achievements!
libminizip1t64
compression library - minizip library
minizip is a minimalistic library that supports compressing, extracting,
viewing, and manipulating zip files.