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.