coq-record-update (0.3.1-1) unstable; urgency=medium

  * Initial release. (Closes: #1015165)

 -- Julien Puydt <jpuydt@debian.org>  Sun, 17 Jul 2022 00:44:42 +0200
