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.