[ubuntu/kinetic-proposed] coq-simple-io 1.7.0-1ubuntu2 (Accepted)

[Gianfranco Costamagna]

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

Date: Tue, 19 Jul 2022 13:03:16 +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-1ubuntu2
-------------- next part --------------
Format: 1.8
Date: Tue, 19 Jul 2022 13:03:16 +0200
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.0-1ubuntu2
Distribution: kinetic
Urgency: medium
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-1ubuntu2) kinetic; urgency=medium
 .
   * Do not export V= used in cppo Makefile, breaking build
     See https://github.com/Lysxia/coq-simple-io/issues/57
Checksums-Sha1:
 5a6635dfa8a7e2fec12ab61d0284dc1ee8e057f1 2149 coq-simple-io_1.7.0-1ubuntu2.dsc
 6a8f8c0a1bfde7b1476a0da5196e3e08ac1dbd0e 26183 coq-simple-io_1.7.0.orig.tar.gz
 5db87d6420d20f293243b991dbaed1c09ce6a558 1996 coq-simple-io_1.7.0-1ubuntu2.debian.tar.xz
 8aa6581048ff457b0a4f8c55afae7b03e2a65c63 7351 coq-simple-io_1.7.0-1ubuntu2_source.buildinfo
Checksums-Sha256:
 da4388efd07ff92cd11c7fe9eb4c0007dc031b02a7fd8903256f81d8a442bd13 2149 coq-simple-io_1.7.0-1ubuntu2.dsc
 2460e1403c5898ccc5b5f84be10b4acdf93393cce4e49e0fc73dc57b9463e144 26183 coq-simple-io_1.7.0.orig.tar.gz
 a6047a8c62c161b2ddc1b905e9af991f5541b7b6b3872702e60ae357b23e9554 1996 coq-simple-io_1.7.0-1ubuntu2.debian.tar.xz
 2a5742c9714cc151b392e61880ca3d2d790629ea3aab5f3acfe7e243bf9e8fc4 7351 coq-simple-io_1.7.0-1ubuntu2_source.buildinfo
Files:
 9080897e097798093cb8722b9f9347e3 2149 ocaml optional coq-simple-io_1.7.0-1ubuntu2.dsc
 ebf304b8be97070fde8e2383eba96984 26183 ocaml optional coq-simple-io_1.7.0.orig.tar.gz
 e725f516e9e7a8c46e1343d584aa639f 1996 ocaml optional coq-simple-io_1.7.0-1ubuntu2.debian.tar.xz
 531f6d9b6cce98b92cbda6555a25bd28 7351 ocaml optional coq-simple-io_1.7.0-1ubuntu2_source.buildinfo