[ubuntu/noble-proposed] coq-record-update 0.3.3-1build4 (Accepted)

[Gianfranco Costamagna]

coq-record-update (0.3.3-1build4) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 08 Apr 2024 09:14:48 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-record-update/0.3.3-1build4
-------------- next part --------------
Format: 1.8
Date: Mon, 08 Apr 2024 09:14:48 +0200
Source: coq-record-update
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.3-1build4
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-record-update (0.3.3-1build4) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 ea21c7bdfa92f268dd8d4d8fdeb713d683460948 2226 coq-record-update_0.3.3-1build4.dsc
 b61a2661ef454cee9095ffe4aa7e51e680f52ad3 2216 coq-record-update_0.3.3-1build4.debian.tar.xz
 036b263eeeddba4f893f0e78efc2f572c25c1417 7856 coq-record-update_0.3.3-1build4_source.buildinfo
Checksums-Sha256:
 58724dbb2807be3928a5b060fd8ffabe702b85f05d37b4d60d1f652f70f4a538 2226 coq-record-update_0.3.3-1build4.dsc
 71de9aa327b92a2b966626b3643f67499490956131a0a48ebd8b41f70d502494 2216 coq-record-update_0.3.3-1build4.debian.tar.xz
 3dfeec23980993af94dfafdc9aa2ce0dc29a838dc9f24885bdbbb3a885aece95 7856 coq-record-update_0.3.3-1build4_source.buildinfo
Files:
 619b60139d55b98fa092c2ef73677f48 2226 ocaml optional coq-record-update_0.3.3-1build4.dsc
 081575bdab99face138d7c426070fb71 2216 ocaml optional coq-record-update_0.3.3-1build4.debian.tar.xz
 bd5577836b2d5101bba3d845b69262b5 7856 ocaml optional coq-record-update_0.3.3-1build4_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>