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.