[ubuntu/questing-proposed] coq-reduction-effects 0.1.5-5build8 (Accepted)

[Gianfranco Costamagna]

coq-reduction-effects (0.1.5-5build8) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Fri, 20 Jun 2025 13:28:26 +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-reduction-effects/0.1.5-5build8
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Jun 2025 13:28:26 +0200
Source: coq-reduction-effects
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.5-5build8
Distribution: questing
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-reduction-effects (0.1.5-5build8) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 5834686df8bb77bee9cf81b4525b32601a40bbf7 2213 coq-reduction-effects_0.1.5-5build8.dsc
 3759190a4dbae6d9296e988d09797e3a4883b7ee 2152 coq-reduction-effects_0.1.5-5build8.debian.tar.xz
 682b739f9e2e3c0552a47b8d99a4f46f2f45107b 6906 coq-reduction-effects_0.1.5-5build8_source.buildinfo
Checksums-Sha256:
 a6ec501e0c6e22fc85e45d08b8a03b6ec59f82e4ee931d7349f6fcb9831e4288 2213 coq-reduction-effects_0.1.5-5build8.dsc
 947353106c4a63008fce0f7769fe0c206afbaab6753ef574b5a49e3f0701253b 2152 coq-reduction-effects_0.1.5-5build8.debian.tar.xz
 b9721ece8e7e04e3fb2924b9ed7eda4b8cf677b17a8618fc17716b240fb0fc66 6906 coq-reduction-effects_0.1.5-5build8_source.buildinfo
Files:
 2b1a1b21afb8c7fbd896d41d2ae1aa90 2213 ocaml optional coq-reduction-effects_0.1.5-5build8.dsc
 881e77899bde1cb19d2793e4d8cbf66a 2152 ocaml optional coq-reduction-effects_0.1.5-5build8.debian.tar.xz
 7b3c100c7c4e6e6b6155f6b8031b4edb 6906 ocaml optional coq-reduction-effects_0.1.5-5build8_source.buildinfo