hintview
Program to view HINT files
The HINT file format is an alternative to the DVI or PDF format
that was designed specifically for on screen reading of documents.
Especially on mobile devices, reading DVI or PDF documents can be
cumbersome.
g++-13-sh4-linux-gnu
GNU C++ compiler for sh4-linux-gnu architecture
This is the GNU C++ compiler, a fairly portable optimizing compiler for C++.
libcoq-dpdgraph-ocaml
Coq plugin to extract dependencies between Coq objects (runtime)
This package provides a plugin for Coq to extract dependencies
between Coq objects and produce files with dependency information.
kalk
Powerful cross-platform calculator based on the Kirigami framework
Kalk is a convergent calculator application built with the Kirigami framework.
Although it is mainly targeted for mobile platforms, it can also be used
on the desktop.
libgps30
Global Positioning System - library
The gpsd service daemon can monitor one or more GPS devices connected to
a host computer, making all data on the location and movements of the
sensors available to be queried on TCP port 2947.
libqgpsmm30
Global Positioning System - Qt wrapper for libgps
The gpsd service daemon can monitor one or more GPS devices connected to
a host computer, making all data on the location and movements of the
sensors available to be queried on TCP port 2947.