postgresql-14-ogr-fdw
PostgreSQL foreign data wrapper for OGR
OGR is the vector half of the GDAL spatial data access library. It allows
access to a large number of GIS data formats using a simple C API for data
reading and writing. Since OGR exposes a simple table structure and PostgreSQL
foreign data wrappers allow access to table structures, the fit seems pretty
perfect.
libdeviceinfo0
Library for Lomiri to detect and configure devices
Lomiri Operating Environment is a convergent work shell designed
for use cases on phone, tablet or desktop devices.
libmicroprofile3
embeddable CPU/GPU profiler
Microprofile is an embeddable CPU/GPU profiler with an in-app and HTML
visualizers, written in C++.
libcoq-mtac2
Mtac2 tactic language for Coq
This plugin for Coq provides the Mtac2
typed tactic language for backward reasoning.
wesnoth-1.18-server
multiplayer network server for Wesnoth (branch 1.18)
This package contains the multiplayer network server for Wesnoth. You need it
if you want to host multiplayer games on your computer and don't want to use
the official servers.
mpv-mpris
MPRIS plugin for mpv
mpv-mpris is a plugin for mpv which allows control of the player using
standard media keys.