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.

python3-dill

Serialize all of Python 3 (almost)

Dill extends Python 3's 'pickle' module for serializing and de-serializing Python 3 objects to the majority of the built-in Python 3 types. Dill provides the user the same interface as the 'pickle' module, and also includes some additional features. In addition to pickling Python 3 objects, dill provides the ability to save the state of an interpreter session in a single command. Dill can be used to store Python 3 objects to a file, but the primary usage is to send Python 3 objects across the network as a byte stream.

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.