[ubuntu/questing-proposed] coq-libhyps 2.0.8-4build8 (Accepted)

[Gianfranco Costamagna]

coq-libhyps (2.0.8-4build8) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Fri, 20 Jun 2025 13:28:00 +0200
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-4build8
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Jun 2025 13:28:00 +0200
Source: coq-libhyps
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.8-4build8
Distribution: questing
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-4build8) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 a644b857f49fe044ca450ea3554a70d26efd604c 2071 coq-libhyps_2.0.8-4build8.dsc
 7aec84394ffd39f56b4cdda78f84e27f5244e7f5 2480 coq-libhyps_2.0.8-4build8.debian.tar.xz
 bbb67229c646238433d9cc6959698f6059d15803 6866 coq-libhyps_2.0.8-4build8_source.buildinfo
Checksums-Sha256:
 a1116ac441f9252c6e8171fbb3b6e66876254f809db461c09ad9a9d55670dd83 2071 coq-libhyps_2.0.8-4build8.dsc
 f9e9028d029221ce9d9950115334bf751c85fbb4ae7eaa882d7421858416bd2c 2480 coq-libhyps_2.0.8-4build8.debian.tar.xz
 3643c2acfe6babb6840f1064fbee4c596f57e3836f96ac4a51014e17920229ca 6866 coq-libhyps_2.0.8-4build8_source.buildinfo
Files:
 b1089072ba0136805b6246c50fbec215 2071 ocaml optional coq-libhyps_2.0.8-4build8.dsc
 ff0edeea1a613afbafd277bf25637e31 2480 ocaml optional coq-libhyps_2.0.8-4build8.debian.tar.xz
 a57caf2328089fb4ae6b6518c1c66eff 6866 ocaml optional coq-libhyps_2.0.8-4build8_source.buildinfo