debian/8.12.0-2

Ralf Treinen

@treinen

7feb79c6 · patch header format · Sep 06, 2020

coq Debian release 8.12.0-2