[ubuntu/oracular-proposed] coq-record-update 0.3.4-3build2 (Accepted)

[Matthias Klose]

coq-record-update (0.3.4-3build2) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 00:44:52 +0200
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-3build2
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 00:44:52 +0200
Source: coq-record-update
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.4-3build2
Distribution: oracular
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-3build2) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 fdb86c7cbdb20196f98b63ac91d0d83036b8dded 2147 coq-record-update_0.3.4-3build2.dsc
 98a0c72b0ca88a10d278ffb3c0a7ae29e6eb5841 2252 coq-record-update_0.3.4-3build2.debian.tar.xz
 11db30709618336bc2aea7e3b412fb9c8e9529ba 5724 coq-record-update_0.3.4-3build2_source.buildinfo
Checksums-Sha256:
 146d90bb1eb552831b5887d160bd33fb243af5d599b10c1a02b5434a731589c4 2147 coq-record-update_0.3.4-3build2.dsc
 83d9361ce89d2830f59a35f30d5dae85c1dc674b602c471c7bad029e937cd36b 2252 coq-record-update_0.3.4-3build2.debian.tar.xz
 71575965943bc60bbab09a41c9ecb205a5ee104af2a82e1973a6944739ace0c7 5724 coq-record-update_0.3.4-3build2_source.buildinfo
Files:
 79710334814e8a86b2d5d64e6febc87d 2147 ocaml optional coq-record-update_0.3.4-3build2.dsc
 83df0ce3dcfe87e4c240b9bbf0dec169 2252 ocaml optional coq-record-update_0.3.4-3build2.debian.tar.xz
 4b5c1253005fda9d243fb7b3fb6c162c 5724 ocaml optional coq-record-update_0.3.4-3build2_source.buildinfo