circle-term
terminal frontend for the Circle application host
The circle-fe-term script and the Circle::FE::Term module provide a terminal
frontend to the Circle application host, packaged as circle-backend.
libcoq-paramcoq
Coq plugin to generate parametricity statements
This package provides a plugin for Coq to generate
parametricity statements, typically used in data refinement
proofs.
libkpmcore12
KDE Partition Manager Core
KDE Partition Manager Core (KPM core) allows software to re-use
common partitioning GUI tasks.
interception-tools-compat
minimal composable infrastructure on top of libudev and libevdev
The Interception Tools is a small set of utilities for operating on
input events of evdev devices.
libstd-rust-1.77
Rust standard libraries
Rust is a curly-brace, block-structured expression language. It
visually resembles the C language family, but differs significantly
in syntactic and semantic details. Its design is oriented toward
concerns of "programming in the large", that is, of creating and
maintaining boundaries - both abstract and operational - that
preserve large-system integrity, availability and concurrency.
gnome-shell-extension-places-menu
Places menu for GNOME Shell
GNOME Shell is extensible using extensions. This package contains an
official GNOME Shell extension to add a menu for quickly navigating to
places in the system, similar to the menu in GNOME 2.