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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 23 Jan 2025 09:27:27 +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-4build9
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Jan 2025 09:27:27 +0100
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-4build9
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-4build9) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 da9608fb94b453d6f4f701796ee49159cfb70d09 2116 coq-reglang_1.2.1-4build9.dsc
 dccf1884dfbda7af890a07bd656475be2de9be51 8904 coq-reglang_1.2.1-4build9.debian.tar.xz
 84b872fed375b01542a611b89e447421e2b712d2 7764 coq-reglang_1.2.1-4build9_source.buildinfo
Checksums-Sha256:
 94a1bf89ca4480e83ef736917d873317ebb5dc3edbbe04f0b0884057dacc2e7d 2116 coq-reglang_1.2.1-4build9.dsc
 1228a5d64e1e0f927b11c8749d3e5fbf8022e040be4f4c654f7e9e2258957573 8904 coq-reglang_1.2.1-4build9.debian.tar.xz
 8ef4a746684b563ddd4f0d8fd975c789bd1b8a46e3e104171e78dc9275e7ee6b 7764 coq-reglang_1.2.1-4build9_source.buildinfo
Files:
 1387ebb3ce38d37604127414470eca29 2116 ocaml optional coq-reglang_1.2.1-4build9.dsc
 1cd19c30cb01233289b604f6df740b85 8904 ocaml optional coq-reglang_1.2.1-4build9.debian.tar.xz
 f0b26a5a3e0b743054ba24bee1fb7456 7764 ocaml optional coq-reglang_1.2.1-4build9_source.buildinfo