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.