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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 00:41:51 +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-1build3
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 00:41:51 +0100
Source: coq-record-update
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.2-1build3
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-1build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 1891a15a891867bd980735d723e448986dc6fb0a 2147 coq-record-update_0.3.2-1build3.dsc
 678487af1e2abe68dcb64457eff424f3c19286ae 2032 coq-record-update_0.3.2-1build3.debian.tar.xz
 81e8cecfbad8e0c4bb658ca52677a0382c3532c4 7836 coq-record-update_0.3.2-1build3_source.buildinfo
Checksums-Sha256:
 b4dc687eba5cc99ad6c8573740eb6d84fbe0e7a480327bffbd909d663b748e27 2147 coq-record-update_0.3.2-1build3.dsc
 859dae44ee594aa1bb6b27a23ad9517447ce881d25331c99e2b78a06aa03b59d 2032 coq-record-update_0.3.2-1build3.debian.tar.xz
 62f0994c5021a6e4a98a31eaa897559f7b081817794a3b01c6318dc8c3ae9ed4 7836 coq-record-update_0.3.2-1build3_source.buildinfo
Files:
 ac23bcc38caa3b2ddc3aa389ad166b58 2147 ocaml optional coq-record-update_0.3.2-1build3.dsc
 ee8398ad2697a7b2cfc6825e3619a084 2032 ocaml optional coq-record-update_0.3.2-1build3.debian.tar.xz
 4e21a8561d11b5d6d3fbfa1923212968 7836 ocaml optional coq-record-update_0.3.2-1build3_source.buildinfo