This is a staging site. Uploads will not persist. Testing only.

libqt6statemachineqml6

Qt 6 State Machine QML library

Qt is a cross-platform C++ application framework. Qt's primary feature is its rich set of widgets that provide standard GUI functionality.

libgo19-amd64-cross

Runtime library for GNU Go applications

Library needed for GNU Go applications linked against the shared 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).

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.

fcitx5-table-array30

Flexible Input Method Framework v5 - Array30 table

Fcitx is a input method framework with extension support, which provides an interface for entering characters of different scripts in applications using a variety of mapping systems.

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).