[ubuntu/plucky-proposed] coq-record-update 0.3.4-4build2 (Accepted)

[Gianfranco Costamagna]

coq-record-update (0.3.4-4build2) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 14 Feb 2025 00:31:34 +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.4-4build2
-------------- next part --------------
Format: 1.8
Date: Fri, 14 Feb 2025 00:31:34 +0100
Source: coq-record-update
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.4-4build2
Distribution: plucky
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-4build2) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 1ca356dbaaa70fb4bbf1b8ccedf2a8c47f55db7d 2147 coq-record-update_0.3.4-4build2.dsc
 0f51560c0b30babf41d2fb3a06cd32af486f555b 2296 coq-record-update_0.3.4-4build2.debian.tar.xz
 f887328517c52d1c79c21a82db9fc6d4a52600a0 7327 coq-record-update_0.3.4-4build2_source.buildinfo
Checksums-Sha256:
 cab10da2a76ee079edc4b211e5b76c9271965f0b5af429933e9448c979483110 2147 coq-record-update_0.3.4-4build2.dsc
 e2b058815e5776be1234c0fcbc14e78a368938e8242f81f5de07e83af552312d 2296 coq-record-update_0.3.4-4build2.debian.tar.xz
 80f722196f83523df7d44c48f758bd373e3c91d5581105a06d2247111826058e 7327 coq-record-update_0.3.4-4build2_source.buildinfo
Files:
 56a102237c3c987bf0a5291cf7065ced 2147 ocaml optional coq-record-update_0.3.4-4build2.dsc
 c68b84fd8386dd68818638a932637ed9 2296 ocaml optional coq-record-update_0.3.4-4build2.debian.tar.xz
 a6a41a7d906a913a14c1a30bc8159bbb 7327 ocaml optional coq-record-update_0.3.4-4build2_source.buildinfo