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.
libvisp-io3.6
visual servoing platform io library
This package contains the ViSP (Visual Servoing Platform) input/output
(io) runtime library.
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).
libgo19-amd64-cross
Runtime library for GNU Go applications
Library needed for GNU Go applications linked against the
shared library.
php8.2-xsl
XSL module for PHP (dummy)
This package is a transitional dummy package and can be safely
removed.