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

Gianfranco Costamagna locutusofborg at debian.org
Sat Nov 5 14:05:14 UTC 2022


coq-simple-io (1.8.0-1ubuntu1) 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: Sat, 05 Nov 2022 15:04:24 +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-1ubuntu1
-------------- next part --------------
Format: 1.8
Date: Sat, 05 Nov 2022 15:04:24 +0100
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-1ubuntu1
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-1ubuntu1) 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:
 770f9e394005b88d975cc297afedff186be7977d 2149 coq-simple-io_1.8.0-1ubuntu1.dsc
 33e6ee98b661b09f3f3ba90a84cb67f83006448b 2180 coq-simple-io_1.8.0-1ubuntu1.debian.tar.xz
 3360f38dcf00cf4d1109e450ed5cd6ed996504d4 7690 coq-simple-io_1.8.0-1ubuntu1_source.buildinfo
Checksums-Sha256:
 279dfec06c6574bd367de1db67407e643d3723317c0a7db3930535f168a74346 2149 coq-simple-io_1.8.0-1ubuntu1.dsc
 01c4e40d5630154e245d3580c2a2d857adf8c24c15940f65660e89bc631f8913 2180 coq-simple-io_1.8.0-1ubuntu1.debian.tar.xz
 ec433ef3fda8366f4b818f4b95335b7d347483e90b09d1000e11e890e0738ee8 7690 coq-simple-io_1.8.0-1ubuntu1_source.buildinfo
Files:
 8e6a2d55f9c342cbfde795d4aa856267 2149 ocaml optional coq-simple-io_1.8.0-1ubuntu1.dsc
 d0fb6f3a56a3dd7dbc275e7ceac5116f 2180 ocaml optional coq-simple-io_1.8.0-1ubuntu1.debian.tar.xz
 73923d2c5e72249dc03b4a28dc4ed13e 7690 ocaml optional coq-simple-io_1.8.0-1ubuntu1_source.buildinfo


More information about the lunar-changes mailing list