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

[Matthias Klose]

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

  * No-change rebuild for OCaml ABI changes.

Date: Tue, 19 Nov 2024 22:29:38 +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-4build6
-------------- next part --------------
Format: 1.8
Date: Tue, 19 Nov 2024 22:29:38 +0100
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-4build6
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-4build6) plucky; urgency=medium
 .
   * No-change rebuild for OCaml ABI changes.
Checksums-Sha1:
 c81f5629c6e4e55a0303a6a5f62668620c9d9c4b 2116 coq-reglang_1.2.1-4build6.dsc
 cfcbfbcaeca89f5802cc11bd4b2628e599a320a1 8828 coq-reglang_1.2.1-4build6.debian.tar.xz
 103836e269acd95198f518d7dc6e8579f5fdd755 3825 coq-reglang_1.2.1-4build6_source.buildinfo
Checksums-Sha256:
 ca08738049135a70fbc5ca30e1933d530d1b63f484f5b766384e6efaf385a077 2116 coq-reglang_1.2.1-4build6.dsc
 9ff1f4a5f122aa6fc16104cf4196dc0719dab33b2e53783d08e4822966e7e7a0 8828 coq-reglang_1.2.1-4build6.debian.tar.xz
 b6e08bd6c2b9d7b0e2f2fc9509bb45223acb083cc18d4f643dca9af3169862b1 3825 coq-reglang_1.2.1-4build6_source.buildinfo
Files:
 bbf2f2a5710f1ce2c5b1f1cbe29da498 2116 ocaml optional coq-reglang_1.2.1-4build6.dsc
 0a52a742b2383606e0273859ff74ea80 8828 ocaml optional coq-reglang_1.2.1-4build6.debian.tar.xz
 38b9a2144de958bbc5a256454f793b1f 3825 ocaml optional coq-reglang_1.2.1-4build6_source.buildinfo