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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 05 Jan 2026 18:29:16 +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-4build9
-------------- next part --------------
Format: 1.8
Date: Mon, 05 Jan 2026 18:29:16 +0100
Source: coq-libhyps
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.8-4build9
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-4build9) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 3277de054ff4899174f8fd6a402b6e0f7cf1c352 2071 coq-libhyps_2.0.8-4build9.dsc
 9958d2518720b6217c1265b37e48e4b269122270 2508 coq-libhyps_2.0.8-4build9.debian.tar.xz
 2215acabfd0b8975ed0ce07f5e6891785efce5ca 7859 coq-libhyps_2.0.8-4build9_source.buildinfo
Checksums-Sha256:
 56afb835fb233805d987047676a0ab4bf0350de7e8ff5bc8e24c7618f8d7fb38 2071 coq-libhyps_2.0.8-4build9.dsc
 3544850a27d9d64032d15e0db689c355a69a5091d950f3882f007df8ded4150e 2508 coq-libhyps_2.0.8-4build9.debian.tar.xz
 e30ac8847adf41d64f987747828966c065e39a536a49600725246a2ee5feb88e 7859 coq-libhyps_2.0.8-4build9_source.buildinfo
Files:
 588a7c141da46f1225b776d42d5d36e2 2071 ocaml optional coq-libhyps_2.0.8-4build9.dsc
 c8fc6d59f0b63c95fff1ce28c3aff769 2508 ocaml optional coq-libhyps_2.0.8-4build9.debian.tar.xz
 d8e83a5e81b267bfd2b4d8b6d0dc2528 7859 ocaml optional coq-libhyps_2.0.8-4build9_source.buildinfo