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

[Gianfranco Costamagna]

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

  * Do not export V= used in cppo Makefile, breaking build

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-1ubuntu1
-------------- 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-1ubuntu1
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-1ubuntu1) kinetic; urgency=medium
 .
   * Do not export V= used in cppo Makefile, breaking build
Checksums-Sha1:
 c0232afcecd658fcdeee7c689d597e222b1af5ba 2149 coq-simple-io_1.7.0-1ubuntu1.dsc
 6a8f8c0a1bfde7b1476a0da5196e3e08ac1dbd0e 26183 coq-simple-io_1.7.0.orig.tar.gz
 9ee4cc6b6120ebee68a464c5e41598c27def3252 1984 coq-simple-io_1.7.0-1ubuntu1.debian.tar.xz
 6da23ba0fb21c1b6b14e1059228f3bd606f8a2c6 7351 coq-simple-io_1.7.0-1ubuntu1_source.buildinfo
Checksums-Sha256:
 f8b148d4d2c94f1f3245da5d357c24c1b2e40370edd3e36befb7f6763105448b 2149 coq-simple-io_1.7.0-1ubuntu1.dsc
 2460e1403c5898ccc5b5f84be10b4acdf93393cce4e49e0fc73dc57b9463e144 26183 coq-simple-io_1.7.0.orig.tar.gz
 81d671b51f1d55fc331134593ddba4d2ebb2eba54d1dd0d9432d931d6718d081 1984 coq-simple-io_1.7.0-1ubuntu1.debian.tar.xz
 724c702605330fea98db8cdb3b3d9f54d61fe3e7aea90c445f1c9955e641207b 7351 coq-simple-io_1.7.0-1ubuntu1_source.buildinfo
Files:
 b5cc4d8079a1dc2e4ecbe909ab3f4403 2149 ocaml optional coq-simple-io_1.7.0-1ubuntu1.dsc
 ebf304b8be97070fde8e2383eba96984 26183 ocaml optional coq-simple-io_1.7.0.orig.tar.gz
 344cfb4259e82acfe2d92c7fc08c00e2 1984 ocaml optional coq-simple-io_1.7.0-1ubuntu1.debian.tar.xz
 bc5c6e062a65e1a019d0ef6b92fd7616 7351 ocaml optional coq-simple-io_1.7.0-1ubuntu1_source.buildinfo