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.