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.

php-symfony-polyfill-intl-idn

Symfony polyfill for intl's idn_to_ascii and idn_to_utf8 functions

This component provides a idn_to_ascii and idn_to_utf8 functions to users who run PHP versions without the Intl extension.

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.