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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 30 Jan 2025 22:44:49 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-reglang/1.2.1-4build10
-------------- next part --------------
Format: 1.8
Date: Thu, 30 Jan 2025 22:44:49 +0100
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-4build10
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-reglang (1.2.1-4build10) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 75cf1a7604261fd49a9f13f6195c8862028f76bd 2120 coq-reglang_1.2.1-4build10.dsc
 4b9d5568b1d9213d40c660472c03f2c5f7f7341b 8908 coq-reglang_1.2.1-4build10.debian.tar.xz
 cd4e5a28c004677c82e0c8c0c8ce81899aad191e 7768 coq-reglang_1.2.1-4build10_source.buildinfo
Checksums-Sha256:
 8db38d8b786ba8e6631572df1d8c8374ebc97980a18621683bd40339317fdd7c 2120 coq-reglang_1.2.1-4build10.dsc
 f40a60c4e61ed7d3b4866e99141a2b44bc17cb6491d4c5978b57f6dcf3993f3c 8908 coq-reglang_1.2.1-4build10.debian.tar.xz
 71dbb48fa04a676f8b0835c497196c110c142683033af8ec1fe4dbc0a376523f 7768 coq-reglang_1.2.1-4build10_source.buildinfo
Files:
 b968436e96783587745af06d82ca0da6 2120 ocaml optional coq-reglang_1.2.1-4build10.dsc
 dbf95f5a1f840d88bae5bbadf6c98664 8908 ocaml optional coq-reglang_1.2.1-4build10.debian.tar.xz
 ccd0f326dad9dd4ecba00da750f4912b 7768 ocaml optional coq-reglang_1.2.1-4build10_source.buildinfo