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.