[ubuntu/plucky-proposed] coq-record-update 0.3.4-3build4 (Accepted)

[Jeremy Bícha]

coq-record-update (0.3.4-3build4) plucky; urgency=medium

  * Rebuild against latest coq

Date: Wed, 20 Nov 2024 17:31:06 -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-3build4
-------------- next part --------------
Format: 1.8
Date: Wed, 20 Nov 2024 17:31:06 -0500
Source: coq-record-update
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.4-3build4
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-3build4) plucky; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 8fdfb67eed8bb2911710fbf128101dfebe70784d 2147 coq-record-update_0.3.4-3build4.dsc
 5c39bb1ad8b70b154e5b15e5a63872fafdd874ef 2320 coq-record-update_0.3.4-3build4.debian.tar.xz
 b3a933b65d9363816dd4f8a72d20f09f8ab1ac91 6993 coq-record-update_0.3.4-3build4_source.buildinfo
Checksums-Sha256:
 f019ba14c9b22d14498b2c06917dc24c73f852e427e51d3d6e5f6d0545869b5e 2147 coq-record-update_0.3.4-3build4.dsc
 70b9a7c98d269eb8a15ba0c880b3e76b7b4b8682474bdbbade7b307f16773967 2320 coq-record-update_0.3.4-3build4.debian.tar.xz
 7b49e50aadb2c5b5d9c21068c1e7bbef3f39069d1131ccce03f6f5850d976f50 6993 coq-record-update_0.3.4-3build4_source.buildinfo
Files:
 30cb7d7671f3245ced6f7277be2e7780 2147 ocaml optional coq-record-update_0.3.4-3build4.dsc
 938b8d83029e9b03e5746ca4bcdd0082 2320 ocaml optional coq-record-update_0.3.4-3build4.debian.tar.xz
 3aad2e134473e4d257b789ddf3bd27f1 6993 ocaml optional coq-record-update_0.3.4-3build4_source.buildinfo