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.