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

[Jeremy Bícha]

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

  * Rebuild against latest ocaml

Date: Sat, 01 Feb 2025 20:15:19 -0500
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-record-update/0.3.4-4build1
-------------- next part --------------
Format: 1.8
Date: Sat, 01 Feb 2025 20:15:19 -0500
Source: coq-record-update
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.4-4build1
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-record-update (0.3.4-4build1) plucky; urgency=medium
 .
   * Rebuild against latest ocaml
Checksums-Sha1:
 7285427037bcc90c55390e03b41fca7ff2cd8d4d 2147 coq-record-update_0.3.4-4build1.dsc
 a3ab6bd5a32598222ddd4764e8e8bd06e57cfcbb 2236 coq-record-update_0.3.4-4build1.debian.tar.xz
 c5cc2262500b9c12c2470899eded0654a5dd7186 7082 coq-record-update_0.3.4-4build1_source.buildinfo
Checksums-Sha256:
 9fdce0a767312e4cfdf445e04f97c34054324d54f259d0a1eb7cc3d7d1ed06a5 2147 coq-record-update_0.3.4-4build1.dsc
 b7a711ad6b6d60e9e1418f5024ae0c8094c7bb090a26031d34641d27a1bebf89 2236 coq-record-update_0.3.4-4build1.debian.tar.xz
 05d587b23589cffdfedfd374ead66b7d7029747a40b75975473742c83a98290e 7082 coq-record-update_0.3.4-4build1_source.buildinfo
Files:
 8f9512ffbaa01c06224a32bf88c66aa5 2147 ocaml optional coq-record-update_0.3.4-4build1.dsc
 e840e2e1bb724cfb75ce9c5c21bcff4b 2236 ocaml optional coq-record-update_0.3.4-4build1.debian.tar.xz
 30cfabd49f549c974935c57fce4c7e1a 7082 ocaml optional coq-record-update_0.3.4-4build1_source.buildinfo