[ubuntu/resolute-proposed] coq-libhyps 2.0.8-4build10 (Accepted)

[Gianfranco Costamagna]

coq-libhyps (2.0.8-4build10) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 29 Jan 2026 20:23:19 +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-libhyps/2.0.8-4build10
-------------- next part --------------
Format: 1.8
Date: Thu, 29 Jan 2026 20:23:19 +0100
Source: coq-libhyps
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.8-4build10
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-libhyps (2.0.8-4build10) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 e16cae492cffbc1cfb77abb0f1dead55897d5be8 2075 coq-libhyps_2.0.8-4build10.dsc
 171bb658d78bdf62076d5a80eaf92b467ec1fbf7 2520 coq-libhyps_2.0.8-4build10.debian.tar.xz
 ba4c9549e7af5b245b76c46ddea302e72bc5ea35 7867 coq-libhyps_2.0.8-4build10_source.buildinfo
Checksums-Sha256:
 60ba1e692d7c7be9547eee474866e0f19954f710f8b40ebac34d0c638cde4455 2075 coq-libhyps_2.0.8-4build10.dsc
 30e248a4abbaca0a10898772738c0ebd70022fc7618a50b115c20ed75d620e35 2520 coq-libhyps_2.0.8-4build10.debian.tar.xz
 738f46b5b1ad0121281adae2705e9f6669305c44fd1063c8da6d288468caaed8 7867 coq-libhyps_2.0.8-4build10_source.buildinfo
Files:
 947f84fc2784a249eb32ce8fc19b2766 2075 ocaml optional coq-libhyps_2.0.8-4build10.dsc
 4f9185be701c083d69a427243a4f06cc 2520 ocaml optional coq-libhyps_2.0.8-4build10.debian.tar.xz
 3d3b61198be3d0fa28b85ff90a805387 7867 ocaml optional coq-libhyps_2.0.8-4build10_source.buildinfo