[ubuntu/mantic-proposed] coq-simple-io 1.8.0-3ubuntu1 (Accepted)

[Gianfranco Costamagna]

coq-simple-io (1.8.0-3ubuntu1) mantic; 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: Tue, 13 Jun 2023 16:13:01 +0200
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-3ubuntu1
-------------- next part --------------
Format: 1.8
Date: Tue, 13 Jun 2023 16:13:01 +0200
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-3ubuntu1
Distribution: mantic
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-3ubuntu1) mantic; 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:
 7ac45f10ce7c90129399e06ff28eac9ecd656746 2154 coq-simple-io_1.8.0-3ubuntu1.dsc
 027ba027790bfce733df5b6256d44b4ca6d8cabc 32939 coq-simple-io_1.8.0.orig.tar.gz
 a5cf79f74dd54d29851f6ea01aee0133d2a82804 2440 coq-simple-io_1.8.0-3ubuntu1.debian.tar.xz
 d6c0d114e6623ada27c4b5e7883ec2e71b9efc65 7219 coq-simple-io_1.8.0-3ubuntu1_source.buildinfo
Checksums-Sha256:
 2ca395ed2d65e48c0d92db6a0a957abbaa6206f01363527e4cdafef8fd9822c4 2154 coq-simple-io_1.8.0-3ubuntu1.dsc
 f5eca4f0d5f66f51ba36290cb6498c6244a9f4c757d07df4f24ea00bbbbe1e33 32939 coq-simple-io_1.8.0.orig.tar.gz
 50fd3da109009e1e0108aa0fae719da81b3750cf73af2f312bc8aa280c63eb3b 2440 coq-simple-io_1.8.0-3ubuntu1.debian.tar.xz
 a23d4534c3c04dfd60272e1d590a34d3f9e09e586427ac5b9d06ca5c42106ed2 7219 coq-simple-io_1.8.0-3ubuntu1_source.buildinfo
Files:
 0b177163c97dbae38114ca20e1259474 2154 ocaml optional coq-simple-io_1.8.0-3ubuntu1.dsc
 73ba8ebe3e844ed62c465405b2d946f6 32939 ocaml optional coq-simple-io_1.8.0.orig.tar.gz
 49243733f960dc4b76af372369f475be 2440 ocaml optional coq-simple-io_1.8.0-3ubuntu1.debian.tar.xz
 c83ef3654519506b8772a1ed8c173043 7219 ocaml optional coq-simple-io_1.8.0-3ubuntu1_source.buildinfo