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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Wed, 12 Feb 2025 21:44:20 +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-4build11
-------------- next part --------------
Format: 1.8
Date: Wed, 12 Feb 2025 21:44:20 +0100
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-4build11
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-4build11) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 2d9860e1e28d442899f251afa8d8f28d9c9af7ae 2120 coq-reglang_1.2.1-4build11.dsc
 9a4e8972c4d6efb9aff19a176dc7745d7155b400 8936 coq-reglang_1.2.1-4build11.debian.tar.xz
 c3c0a60ed4e92e35f6c4aaf15a7e49994260d07a 7307 coq-reglang_1.2.1-4build11_source.buildinfo
Checksums-Sha256:
 b93bbce83cc5df419d0abc9e70ee50ef502b817b5de3a3dc989efb3d069f3778 2120 coq-reglang_1.2.1-4build11.dsc
 cb2ffbc2b4f60f86473b642ec8f88145f146b8840f3b50d09f0c843be705cb5b 8936 coq-reglang_1.2.1-4build11.debian.tar.xz
 57a438bf214b5e0da25f98c1aa17e82b615f6f05b334d244ea2eecfe48cda92f 7307 coq-reglang_1.2.1-4build11_source.buildinfo
Files:
 e22a6155918475b2bf284abaffd24d0a 2120 ocaml optional coq-reglang_1.2.1-4build11.dsc
 71ea0c5c09e4976216869b1b11983673 8936 ocaml optional coq-reglang_1.2.1-4build11.debian.tar.xz
 d9b093ed70a2594aa8181f86eb949a7c 7307 ocaml optional coq-reglang_1.2.1-4build11_source.buildinfo