dh-coq (0.1) unstable; urgency=medium

  * Initial release.

 -- Julien Puydt <jpuydt@debian.org>  Fri, 03 Jun 2022 20:38:06 +0200
