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.