[ubuntu/resolute-proposed] coq-reglang 1.2.1-4build20 (Accepted)

[Gianfranco Costamagna]

coq-reglang (1.2.1-4build20) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Tue, 27 Jan 2026 22:40:34 +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-4build20
-------------- next part --------------
Format: 1.8
Date: Tue, 27 Jan 2026 22:40:34 +0100
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-4build20
Distribution: resolute
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-4build20) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 8c0bc4ace8873e3a01fdb95ce14b3043e2d1b9ee 2120 coq-reglang_1.2.1-4build20.dsc
 80700492871ee2dde37e9e2fac622a1607015956 9052 coq-reglang_1.2.1-4build20.debian.tar.xz
 87fdb72e8d9bfcb0a57a390861440c63a3edd83e 7893 coq-reglang_1.2.1-4build20_source.buildinfo
Checksums-Sha256:
 72c646d4caaff0cddfdadb7821803ef56d7c3adda2107a9663883e329c139009 2120 coq-reglang_1.2.1-4build20.dsc
 9970e9aa64c163441cfb2cee421a5900617c86734eaf5c64ee8b098b3e8bd3a6 9052 coq-reglang_1.2.1-4build20.debian.tar.xz
 2ee063766cb4f751d633b42f47f9619905f8bd1722d95933980491dd280c0337 7893 coq-reglang_1.2.1-4build20_source.buildinfo
Files:
 cdfbba6dddf161b345c1e21667b55aec 2120 ocaml optional coq-reglang_1.2.1-4build20.dsc
 c3a7ff61e0e947522c29842b69c3125e 9052 ocaml optional coq-reglang_1.2.1-4build20.debian.tar.xz
 5450b44f010d49454408b212370a7dfc 7893 ocaml optional coq-reglang_1.2.1-4build20_source.buildinfo