libotbossimadapters-6.2-1

ORFEO Toolbox library - OTBOssimAdapters

fpc-source-3.0.4

Free Pascal - SDK source code

gfortran-8-multilib-sparc64-linux-gnu

GNU Fortran compiler (multilib support) (cross compiler for sparc64 architecture

libjs-ismobilejs

JavaScript library to detect mobile devices (lib)

A simple JavaScript library for detecting when a page is viewed on a mobile device. Output is placed in a JS object that you can then test for various results.

qtwayland5-dev-tools

Qt 5 Wayland developer tools

QtWayland is a Qt 5 module that wraps the functionality of Wayland.

cvc4

automated theorem prover for SMT problems

CVC4 is an efficient automatic theorem prover for satisfiability modulo theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination.