[ubuntu/noble-proposed] coq-reduction-effects 0.1.4-4build2 (Accepted)

[Gianfranco Costamagna]

coq-reduction-effects (0.1.4-4build2) noble; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Mon, 06 Nov 2023 17:12:48 +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-reduction-effects/0.1.4-4build2
-------------- next part --------------
Format: 1.8
Date: Mon, 06 Nov 2023 17:12:48 +0100
Source: coq-reduction-effects
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.4-4build2
Distribution: noble
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.4-4build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 1c27ca10856dfe2e9db55e90f1383529d78a58f6 2213 coq-reduction-effects_0.1.4-4build2.dsc
 78a140031d411c542571c6b2794fba0cfc637dea 1788 coq-reduction-effects_0.1.4-4build2.debian.tar.xz
 49bffe81634ab446e4b752cdafdf00fcec8315c1 7852 coq-reduction-effects_0.1.4-4build2_source.buildinfo
Checksums-Sha256:
 3e3c311d5c7651f5e53b71be0aaf998f45148451c44b0783c23807b0b438e7ad 2213 coq-reduction-effects_0.1.4-4build2.dsc
 61279e9fced55188e3e9e2bbba83c179f899b57cd3dd45a0d6e239f5a14d9fdf 1788 coq-reduction-effects_0.1.4-4build2.debian.tar.xz
 7d06789ef546649b09afc582f18a8771761edbec7df356bed1ec48914f82b92a 7852 coq-reduction-effects_0.1.4-4build2_source.buildinfo
Files:
 9f1ae655fdb205cf09ae9e5e5cb41f3d 2213 ocaml optional coq-reduction-effects_0.1.4-4build2.dsc
 7de0a1262c5c6c6aaa847b1e1468562d 1788 ocaml optional coq-reduction-effects_0.1.4-4build2.debian.tar.xz
 fa02f7be9c8494c86617e7946558a43f 7852 ocaml optional coq-reduction-effects_0.1.4-4build2_source.buildinfo