[ubuntu/plucky-proposed] coq-reglang 1.2.1-4build7 (Accepted)

[Matthias Klose]

coq-reglang (1.2.1-4build7) plucky; urgency=medium

  * No-change rebuild for OCaml ABI changes.

Date: Thu, 21 Nov 2024 07:51:56 +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-reglang/1.2.1-4build7
-------------- next part --------------
Format: 1.8
Date: Thu, 21 Nov 2024 07:51:56 +0100
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-4build7
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-reglang (1.2.1-4build7) plucky; urgency=medium
 .
   * No-change rebuild for OCaml ABI changes.
Checksums-Sha1:
 102b0410afc689bb6358578e32583993136ac6e9 2116 coq-reglang_1.2.1-4build7.dsc
 6b170e449dcc90dc69ad457f9469c4c3d07c5045 8844 coq-reglang_1.2.1-4build7.debian.tar.xz
 c5856e054f749f0e2ffc99f28251b1a8220aae39 3825 coq-reglang_1.2.1-4build7_source.buildinfo
Checksums-Sha256:
 f26e2639800b8d3e59174829b5804ba438b4b7a7e4c0038823d0f49ca96ee2d1 2116 coq-reglang_1.2.1-4build7.dsc
 07bab9cdcbdbd2a72e170c591538895518795297149b549e7710b80be4e67249 8844 coq-reglang_1.2.1-4build7.debian.tar.xz
 926096b012469bf2e28411b267f484a6500d93daecb99fad87405ec4686602c9 3825 coq-reglang_1.2.1-4build7_source.buildinfo
Files:
 551cb205d3ed5840cc7e0a8d17cc7860 2116 ocaml optional coq-reglang_1.2.1-4build7.dsc
 6a7a7e89dec5e557a0ff25b1c40ee215 8844 ocaml optional coq-reglang_1.2.1-4build7.debian.tar.xz
 5a39e28d0c28a268531221bbd72526f7 3825 ocaml optional coq-reglang_1.2.1-4build7_source.buildinfo