[ubuntu/plucky-proposed] coq-reduction-effects 0.1.5-5build7 (Accepted)

[Matthias Klose]

coq-reduction-effects (0.1.5-5build7) plucky; urgency=medium

  * No-change rebuild for coq ABI changes.

Date: Tue, 18 Feb 2025 21:04:21 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-reduction-effects/0.1.5-5build7
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Feb 2025 21:04:21 +0100
Source: coq-reduction-effects
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.5-5build7
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-reduction-effects (0.1.5-5build7) plucky; urgency=medium
 .
   * No-change rebuild for coq ABI changes.
Checksums-Sha1:
 dc651f4441d733fde1f76ab691913b15391702b6 2213 coq-reduction-effects_0.1.5-5build7.dsc
 64b47198022d08728f7b1f8ff30caad505f4bdec 2120 coq-reduction-effects_0.1.5-5build7.debian.tar.xz
 6f08dcf78b226454b2d599db460357360c98fd7e 3871 coq-reduction-effects_0.1.5-5build7_source.buildinfo
Checksums-Sha256:
 4d203e79c74e9c1537d8f5f98ce6689f93e7e8471047e7763ffb64c6a9483a64 2213 coq-reduction-effects_0.1.5-5build7.dsc
 1390b120390f957f63034b6db518caec9c5a952f1fc4b87dac0123d0a6ed2fbe 2120 coq-reduction-effects_0.1.5-5build7.debian.tar.xz
 fe3220cb993a1280eff0222ced2149b5f4a1deb17bc2d82c8b87e86ccb82af04 3871 coq-reduction-effects_0.1.5-5build7_source.buildinfo
Files:
 d8e51f1d3b528a955811e03bc82e114b 2213 ocaml optional coq-reduction-effects_0.1.5-5build7.dsc
 e18e6c4de2a68b25913462de00e11af5 2120 ocaml optional coq-reduction-effects_0.1.5-5build7.debian.tar.xz
 d08834aaa2fed4a7aa1afbb0aace6426 3871 ocaml optional coq-reduction-effects_0.1.5-5build7_source.buildinfo