google-android-ndk-r10e-installer

Google's NDK (Side by side) r10e Installer

This package will download the Google's NDK (Side by side) r10e package and unpacks it into Debian-friendly paths.

google-android-ndk-r20b-installer

Google's NDK (Side by side) 20.1.5948944 Installer

This package will download the Google's NDK (Side by side) 20.1.5948944 package and unpacks it into Debian-friendly paths.

gfortran-14-mipsel-linux-gnu

GNU Fortran compiler for the mipsel-linux-gnu architecture

This is the GNU Fortran compiler for the mipsel-linux-gnu architecture, which compiles Fortran on platforms supported by the gcc compiler. It uses the gcc backend to generate optimized code.

gfortran-14-mips-linux-gnu

GNU Fortran compiler for the mips-linux-gnu architecture

This is the GNU Fortran compiler for the mips-linux-gnu architecture, which compiles Fortran on platforms supported by the gcc compiler. It uses the gcc backend to generate optimized code.

eprover

Equational theorem prover

This package provides tools to prove equational theorems: from a mathematical specification in many-sorted first-order logic with equality and an hypothesis/conjecture, it will look for a proof.

google-android-ndk-r21d-installer

Google's NDK (Side by side) 21.3.6528147 Installer

This package will download the Google's NDK (Side by side) 21.3.6528147 package and unpacks it into Debian-friendly paths.