[ubuntu/lunar-proposed] coq-simple-io 1.8.0-2ubuntu1 (Accepted)

[Gianfranco Costamagna]

coq-simple-io (1.8.0-2ubuntu1) 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

Date: Thu, 26 Jan 2023 22:14:05 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-simple-io/1.8.0-2ubuntu1
-------------- next part --------------
Format: 1.8
Date: Thu, 26 Jan 2023 22:14:05 +0100
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-2ubuntu1
Distribution: lunar
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-simple-io (1.8.0-2ubuntu1) 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
Checksums-Sha1:
 3fc243e4e8bd42d1006893480702b624a8632428 2154 coq-simple-io_1.8.0-2ubuntu1.dsc
 3a3cbb26510f7502677273a699f20e6e260d0d39 2292 coq-simple-io_1.8.0-2ubuntu1.debian.tar.xz
 fb6084faf3d96b239a6453368e6bd27fd411cb77 7120 coq-simple-io_1.8.0-2ubuntu1_source.buildinfo
Checksums-Sha256:
 c5cfdce8d16229fc911d3b4525b646faeedfc3849e1029367ff96c58ef3ca2f6 2154 coq-simple-io_1.8.0-2ubuntu1.dsc
 e8b98b4cdcc85a1a1289975ada6c888f6959fa50c9781ce2227534d20ebc7fd3 2292 coq-simple-io_1.8.0-2ubuntu1.debian.tar.xz
 8e751396b6f752b046323f7d4e26db9c2d5e79b84af83d3ede22d369a562d50f 7120 coq-simple-io_1.8.0-2ubuntu1_source.buildinfo
Files:
 aaf23c92e8432143545edc58164ffad3 2154 ocaml optional coq-simple-io_1.8.0-2ubuntu1.dsc
 94fa47ede711231f520f6b89fba6bae3 2292 ocaml optional coq-simple-io_1.8.0-2ubuntu1.debian.tar.xz
 5598cc93a02a59e47293297fe81eb74d 7120 ocaml optional coq-simple-io_1.8.0-2ubuntu1_source.buildinfo