[ubuntu/plucky-proposed] coq-libhyps 2.0.8-4build6 (Accepted)

[Gianfranco Costamagna]

coq-libhyps (2.0.8-4build6) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 14 Feb 2025 00:29:17 +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-4build6
-------------- next part --------------
Format: 1.8
Date: Fri, 14 Feb 2025 00:29:17 +0100
Source: coq-libhyps
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.8-4build6
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-libhyps (2.0.8-4build6) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 8b190b4dcdcc364e2fa805531f433eb8e3b69ef3 2071 coq-libhyps_2.0.8-4build6.dsc
 125d3f5c4701b960682db438f722985e9875d058 2432 coq-libhyps_2.0.8-4build6.debian.tar.xz
 be520d436971eacc01e0e71a7ce3bdf1e3700443 7303 coq-libhyps_2.0.8-4build6_source.buildinfo
Checksums-Sha256:
 3f0b01ab25dd253bf1183ac2af01b764a8654cb1625ea2a38f8199ac93036c7b 2071 coq-libhyps_2.0.8-4build6.dsc
 e73b3d6b324c0cc7a5ea6c75e79dd1b3ee82d25694fabd85b952627d57e3f827 2432 coq-libhyps_2.0.8-4build6.debian.tar.xz
 f2a660da1b59a67d2b534322458488cd7ecd44b1de5e93435197ee79a62e2d5a 7303 coq-libhyps_2.0.8-4build6_source.buildinfo
Files:
 c04e552b02f17d58c819a9227c3e88e1 2071 ocaml optional coq-libhyps_2.0.8-4build6.dsc
 0f0a4079de9444c20b647d89484354b1 2432 ocaml optional coq-libhyps_2.0.8-4build6.debian.tar.xz
 2372400bec6a493f400731292da7454f 7303 ocaml optional coq-libhyps_2.0.8-4build6_source.buildinfo