[ubuntu/noble-proposed] coq-record-update 0.3.2-1build2 (Accepted)

[Gianfranco Costamagna]

coq-record-update (0.3.2-1build2) noble; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Mon, 06 Nov 2023 17:12:36 +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-record-update/0.3.2-1build2
-------------- next part --------------
Format: 1.8
Date: Mon, 06 Nov 2023 17:12:36 +0100
Source: coq-record-update
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.2-1build2
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-record-update (0.3.2-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 39bf61b1f3c21ab7ddec1b326cfe1f610fea3049 2147 coq-record-update_0.3.2-1build2.dsc
 7604724c9cbbf7cf48c534f3d4a7ee633b39b40f 2016 coq-record-update_0.3.2-1build2.debian.tar.xz
 3e825528dc20a63fa6bd567e0eb4e31d8df59e62 7836 coq-record-update_0.3.2-1build2_source.buildinfo
Checksums-Sha256:
 d61b463e4b4549457c6c3f8664803e74b36e13768bd5fda935702c139731d41d 2147 coq-record-update_0.3.2-1build2.dsc
 e3aed3b6959e2edafe3ead1ecbc76333a1179ee37b7982695a4ae91d9f0e7ed8 2016 coq-record-update_0.3.2-1build2.debian.tar.xz
 dcd7ab7adc4c634719f56dbad977e4b9e12bf365b6374fce72654e9e01f93a9c 7836 coq-record-update_0.3.2-1build2_source.buildinfo
Files:
 fbb6c0873721a4773f5f1ca0e9e31b7b 2147 ocaml optional coq-record-update_0.3.2-1build2.dsc
 153d9a131b3059b0e941c9768c846be3 2016 ocaml optional coq-record-update_0.3.2-1build2.debian.tar.xz
 f37a9f27420ef5c801c95f9abd653bb1 7836 ocaml optional coq-record-update_0.3.2-1build2_source.buildinfo