gir1.2-rest-1.0
REST service access library (introspection files)
This library was designed to make it easier to access web services that
claim to be "RESTful". It includes convenience wrappers for libsoup and
libxml to ease remote use of the RESTful API.
libcoq-mathcomp-classical
classical logic extension for Mathematical Components
This package provides an extension for work with classical logic
within the Coq proof-assistant using the Mathematical Components
library.
linux-support-6.12.3
Support files for Linux 6.12
This package provides support files for the Linux kernel build, e.g.
scripts to handle ABI information and for generation of build system meta
data.
libvkd3d-shader1
Direct3D 12 to Vulkan translation - shader library
3D graphics library that provides an API similar to Direct3D 12 built on top
of the Vulkan library.
ttyplot
realtime plotting utility for text mode consoles and terminals
ttyplot takes data from standard input or a unix pipeline and plots in text
mode on a terminal in real time. It supports rate calculation for counters
and up to two graphs on a single display using reverse video for the second
line.