coq-simple-io (1.8.0-1ubuntu1) lunar; urgency=low

  * Merge from Debian unstable. Remaining changes:
    - Do not export V= used in cppo Makefile, breaking build
      See https://github.com/Lysxia/coq-simple-io/issues/57

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Sat, 05 Nov 2022 15:04:24 +0100

coq-simple-io (1.8.0-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Fri, 23 Sep 2022 14:34:51 +0200

coq-simple-io (1.7.0-3) unstable; urgency=medium

  * Fix for Coq 8.16.

 -- Julien Puydt <jpuydt@debian.org>  Mon, 05 Sep 2022 22:33:01 +0200

coq-simple-io (1.7.0-2ubuntu1) kinetic; urgency=low

  * Merge from Debian unstable. Remaining changes:
    - Do not export V= used in cppo Makefile, breaking build
      See https://github.com/Lysxia/coq-simple-io/issues/57

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Tue, 16 Aug 2022 09:53:45 +0200

coq-simple-io (1.7.0-2) unstable; urgency=medium

  * Rebuild against newer coq-ext-lib.

 -- Julien Puydt <jpuydt@debian.org>  Sat, 13 Aug 2022 23:44:16 +0200

coq-simple-io (1.7.0-1ubuntu2) kinetic; urgency=medium

  * Do not export V= used in cppo Makefile, breaking build
    See https://github.com/Lysxia/coq-simple-io/issues/57

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Tue, 19 Jul 2022 13:03:16 +0200

coq-simple-io (1.7.0-1) unstable; urgency=medium

  * Initial release. (Closes: #1014572)

 -- Julien Puydt <jpuydt@debian.org>  Fri, 08 Jul 2022 08:45:34 +0200
