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.

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.

google-android-ndk-r21e-installer

Google's NDK (Side by side) 21.4.7075529 Installer

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

google-android-ndk-r22-installer

Google's NDK (Side by side) 22.0.7026061 Installer

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

google-android-ndk-r22b-installer

Google's NDK (Side by side) 22.1.7171670 Installer

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