postgresql-16-pg-permissions
see all permissions in a PostgreSQL database
pg_permissions is a simple set of views to see all permissions in a PostgreSQL
database.
lomiri-camera-app
Camera and Barcode Scanner App for Lomiri Operating Environment
This app is a core app for Ubuntu Touch's shell Lomiri. Ubuntu Touch is
a mobile OS developed by the UBports Foundation. Lomiri is its operating
environment optimized for touch based human-machine interaction, but
also supports convergence (i.e. switching between tablet/phone and
desktop mode).
libcoq-ott
Ott tool (Coq plugin)
Ott is a tool to write definitions of programming
languages and calculi. From the definition of a
language syntex and semanticsin a concise and readable
notation close to informal mathematics, it can
provide LaTeX, Coq, HOL, Isabelle/HOL, Lem or OCaml
versions of the definition.
node-gulp-mocha
Run mocha tests with gulp
This package allows one to integrate mocha unit tests with gulp
libgnat-11-s390x-cross
runtime for applications compiled with GNAT (shared library)
GNAT is a compiler for the Ada programming language. It produces optimized
code on platforms supported by the GNU Compiler Collection (GCC).