debian/8.11.0-1

Ralf Treinen

@treinen

f69346b0 · dev/tools/update-compat.py: use python3 · Mar 05, 2020

coq Debian release 8.11.0-1