[ubuntu/noble-proposed] coq-libhyps 2.0.6-3build3 (Accepted)

[Gianfranco Costamagna]

coq-libhyps (2.0.6-3build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 00:41:35 +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.6-3build3
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 00:41:35 +0100
Source: coq-libhyps
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.6-3build3
Distribution: noble
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.6-3build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 df0848fdc77eb72b575490442162f6147b670ed3 2071 coq-libhyps_2.0.6-3build3.dsc
 6715abd4454e21c4d43ced05149f5d78c567974e 2060 coq-libhyps_2.0.6-3build3.debian.tar.xz
 c8925083801b9deb683cff4b7cc4df058c870b58 7812 coq-libhyps_2.0.6-3build3_source.buildinfo
Checksums-Sha256:
 303013d6c8c70038556a8d1057d4b3eb3028d6f24bd9a031ffa0f4e64c74ba68 2071 coq-libhyps_2.0.6-3build3.dsc
 78d118bca3b10fffe12babb79ab6a6b8c6154e18487b6b011e3e4962ba0aa358 2060 coq-libhyps_2.0.6-3build3.debian.tar.xz
 c79f6d22d3da3fb7be1d58040566ee30cba601dcbd886c6ce5e880c87e778942 7812 coq-libhyps_2.0.6-3build3_source.buildinfo
Files:
 78bd838aba61006a5f8ab103eb0e0c2b 2071 ocaml optional coq-libhyps_2.0.6-3build3.dsc
 1158908f70df1c8e8d1dff65c7898d37 2060 ocaml optional coq-libhyps_2.0.6-3build3.debian.tar.xz
 29432dac460ca5b1bcefe98dae084cb0 7812 ocaml optional coq-libhyps_2.0.6-3build3_source.buildinfo