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

[Matthias Klose]

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

  * No-change rebuild for coq ABI changes.

Date: Tue, 18 Feb 2025 21:04:11 +0100
Changed-By: Matthias Klose <doko 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-4build3
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Feb 2025 21:04:11 +0100
Source: coq-record-update
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.4-4build3
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-record-update (0.3.4-4build3) plucky; urgency=medium
 .
   * No-change rebuild for coq ABI changes.
Checksums-Sha1:
 8ed4fdc9c13f99ef5fb5766237d1b0ab61c37c90 2147 coq-record-update_0.3.4-4build3.dsc
 2a31ad0d52c0b8212f2b26226388d4ca2321249c 2348 coq-record-update_0.3.4-4build3.debian.tar.xz
 d6e9a680d31f9cc7d4dfe02438b9178aaea70d17 3855 coq-record-update_0.3.4-4build3_source.buildinfo
Checksums-Sha256:
 a02c9b5b8deb9d85a82189ae8d47a5da5ef45db21b3050b1ffe24c9139960aca 2147 coq-record-update_0.3.4-4build3.dsc
 e4e0c85181208fc076e1e7c1758fd41f405533242c5f8928c59bd6fc559324ca 2348 coq-record-update_0.3.4-4build3.debian.tar.xz
 01bbce217ac0b3fa7c235526bae43d557fdcbf31ecf790d17b12ef011101fd7e 3855 coq-record-update_0.3.4-4build3_source.buildinfo
Files:
 b5d17b99b578dec31931baa9299bc88f 2147 ocaml optional coq-record-update_0.3.4-4build3.dsc
 ba0f73bfc1a0546f0f9198fb9aff6d6f 2348 ocaml optional coq-record-update_0.3.4-4build3.debian.tar.xz
 f8a93753c3131f6f20cda3b3d048097b 3855 ocaml optional coq-record-update_0.3.4-4build3_source.buildinfo