libqt5versit5a
Qt PIM module, Versit library
Qt is a cross-platform C++ application framework. Qt's primary feature
is its rich set of widgets that provide standard GUI functionality.
libqt5versitorganizer5a
Qt PIM module, Versit Organizer library
Qt is a cross-platform C++ application framework. Qt's primary feature
is its rich set of widgets that provide standard GUI functionality.
libgfortran-12-dev-m68k-cross
Runtime library for GNU Fortran applications (development files)
This package contains the headers and static library files needed to build
GNU Fortran applications.
libqt5contacts5a
Qt PIM module, Contacts library
Qt is a cross-platform C++ application framework. Qt's primary feature
is its rich set of widgets that provide standard GUI functionality.
libmrpt-maps2.11
Mobile Robot Programming Toolkit - maps library
The Mobile Robot Programming Toolkit (MRPT) is an extensive, cross-platform,
and open source C++ library aimed to help robotics researchers to design and
implement algorithms in the fields of Simultaneous Localization and Mapping
(SLAM), computer vision, and motion planning (obstacle avoidance).
lib0install-solver-ocaml
package dependency solver (runtime)
A package dependency resolver based on a SAT solver. This was
originally written for the 0install package manager, but is now
generic and is also used as a solver backend for opam. The SAT solver
is based on MiniSat (http://minisat.se/Papers.html) and the
application to package management is based on OPIUM (Optimal Package
Install/Uninstall Manager). 0install-solver uses a (novel?) strategy
to find the optimal solution extremely quickly (even for a SAT-based
solver).