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-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.