libcoq-hammer-tactics

automated reasoning tool for Coq (tactics)

Hammer is a tool to help in the search of a proof in Coq. It tries to find applicable lemmas and combine them into a effective proof.

vlc-plugin-pipewire

PipeWire audio plugins for VLC

VLC is the VideoLAN project's media player. It plays MPEG, MPEG-2, MPEG-4, DivX, MOV, WMV, QuickTime, WebM, FLAC, MP3, Ogg/Vorbis files, DVDs, VCDs, podcasts, and multimedia streams from various network sources.

postgresql-15-pgfincore

set of PostgreSQL functions to manage blocks in memory

Those functions let you know which and how many disk block from a relation are in the page cache of the operating system, and eventually write the result to a file. Then using this file, it is possible to restore the page cache state for each block of the relation.

libwayland-server++0

wayland compositor infrastructure - EGL library C++ bindings

Wayland is a protocol for a compositor to talk to its clients as well as a C library implementation of that protocol. The compositor can be a standalone display server running on Linux kernel modesetting and evdev input devices, an X application, or a wayland client itself. The clients can be traditional applications, X servers (rootless or fullscreen) or other display servers.

libcoq-record-update

automatic record fields updaters for Coq

This package provides an automatic and generic way to update record fields in Coq.

gccgo-11-multilib-x86-64-linux-gnu

GNU Go compiler (multilib support) (cross compiler for amd64 architecture)

This is the GNU Go compiler, which compiles Go on platforms supported by the gcc compiler.