[ubuntu/oracular-proposed] coq-record-update 0.3.4-2build1 (Accepted)

[Gianfranco Costamagna]

coq-record-update (0.3.4-2build1) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 13 May 2024 20:20:38 +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-record-update/0.3.4-2build1
-------------- next part --------------
Format: 1.8
Date: Mon, 13 May 2024 20:20:38 +0200
Source: coq-record-update
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.4-2build1
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-record-update (0.3.4-2build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 1441f6e72b2e3cebdf86a905e90c4ed2dda575d1 2147 coq-record-update_0.3.4-2build1.dsc
 8dc9ab2cfd59d4c965b8ca32c1d55f496358a673 2132 coq-record-update_0.3.4-2build1.debian.tar.xz
 85a433f97aa8faae7a3beb7a22bb1d05cba9feda 7856 coq-record-update_0.3.4-2build1_source.buildinfo
Checksums-Sha256:
 70224b92b37cf2cfbf47219a4c85b89c90432c3c03ccc0e921267c0b9c7be819 2147 coq-record-update_0.3.4-2build1.dsc
 3c5a774f083f825dc45b8f4db2203e2286ebc5887a3a94df44c579e097493f79 2132 coq-record-update_0.3.4-2build1.debian.tar.xz
 c6863220b6257983e6afe3fc2a062caf65451e407315de7f19d5c1b12b02a24b 7856 coq-record-update_0.3.4-2build1_source.buildinfo
Files:
 dd6c3565aa0c6ca3104b556cb1e8ec52 2147 ocaml optional coq-record-update_0.3.4-2build1.dsc
 2262fc6f170264de1f1b9af4b1fcaf38 2132 ocaml optional coq-record-update_0.3.4-2build1.debian.tar.xz
 accb1a30e244c2364239162f107083ef 7856 ocaml optional coq-record-update_0.3.4-2build1_source.buildinfo