libcoq-elpi

Coq plugin embedding Elpi

This package makes it possible to define new commands and tactics for Coq in Elpi.

python3-pystray

Python library to create system tray icons (Python 3)

This package installs pystray for Python 3. Pystray is a Python library to create system tray icons.

python3-retry

easy to use retry decorator

Decorator (or function) to retry failing code featuring:

python3-roundrobin

collection of roundrobin utilities

This is rather small collection of round robin utilities.

libnfft3-julia

library for computing non-uniform Fourier transforms (julia interface)

NFFT3 is a software library written in C for computing nonequispaced fast Fourier and related transformations. In detail, NFFT3 implements:

google-android-sources-36-installer

Google's 'Sources for Android 36' Installer

This package will download the Google's Sources for Android 36 package and unpacks it into Debian-friendly paths.