[ubuntu/kinetic-proposed] coq-simple-io 1.7.0-2ubuntu1 (Accepted)

[Gianfranco Costamagna]

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

Date: Tue, 16 Aug 2022 09:53:45 +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.7.0-2ubuntu1
-------------- next part --------------
Format: 1.8
Date: Tue, 16 Aug 2022 09:53:45 +0200
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.0-2ubuntu1
Distribution: kinetic
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.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
Checksums-Sha1:
 71eaf23f196327af4f6f2679e24c2303d404a270 2149 coq-simple-io_1.7.0-2ubuntu1.dsc
 11204c6e64abbb90a5e46d49953b16dd06173de1 2080 coq-simple-io_1.7.0-2ubuntu1.debian.tar.xz
 8f4363eb568371629b42f460a88cd630a5f571d5 7370 coq-simple-io_1.7.0-2ubuntu1_source.buildinfo
Checksums-Sha256:
 d456215df2a2d306d7eedd9278c3a94b53ddfdbfcb4218b188abc7da1cff20f3 2149 coq-simple-io_1.7.0-2ubuntu1.dsc
 51bb4d0493258566d73d3377f7f9d1e24c8dcce1c63106d76e764ee18b2b642b 2080 coq-simple-io_1.7.0-2ubuntu1.debian.tar.xz
 490a1d103cbf93ec6e022d893df26c0ad34c99255c14730938d96d90f4865336 7370 coq-simple-io_1.7.0-2ubuntu1_source.buildinfo
Files:
 212ce7633ba0481d74868dd585b2ecca 2149 ocaml optional coq-simple-io_1.7.0-2ubuntu1.dsc
 a421d056ffb46c722255772399be62c1 2080 ocaml optional coq-simple-io_1.7.0-2ubuntu1.debian.tar.xz
 4f07eec435bdacb0d0e9372599e25140 7370 ocaml optional coq-simple-io_1.7.0-2ubuntu1_source.buildinfo