debian/8.2.pl1+dfsg-2

steph@glondu.net

581c2782 · Call coqchk without -silent · Jul 05, 2009

Debian release 8.2.pl1+dfsg-2