[ubuntu/lunar-proposed] coq-libhyps 2.0.6-2build2 (Accepted)

[Gianfranco Costamagna]

coq-libhyps (2.0.6-2build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 19:28:42 +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-2build2
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 19:28:42 +0100
Source: coq-libhyps
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.6-2build2
Distribution: lunar
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-2build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 aa5831f1544acdfe8e7a4e31c2e29777b0414b44 2071 coq-libhyps_2.0.6-2build2.dsc
 7d8983afeb9f30e627e9af33b69e17183f696d93 2004 coq-libhyps_2.0.6-2build2.debian.tar.xz
 eec481b4b09a3306ee48188aa32fbf17cdf90e9a 7152 coq-libhyps_2.0.6-2build2_source.buildinfo
Checksums-Sha256:
 381acd170502a295642028c83f15b6841cfbf56b699055bb8f1df29f0becb893 2071 coq-libhyps_2.0.6-2build2.dsc
 e5b58c6d4581b6bc1be207cbe0061d35623ab4602c15171d0c9ba266d8da9cd5 2004 coq-libhyps_2.0.6-2build2.debian.tar.xz
 206bbc61090e0122bed1f85697dba35b24c2f2e7d90be4c9076d8a5442018c1e 7152 coq-libhyps_2.0.6-2build2_source.buildinfo
Files:
 301fa97a1abbf1c6b5de7a961c32fdb0 2071 ocaml optional coq-libhyps_2.0.6-2build2.dsc
 6cb81ecb0ebf1f02ff151bc6b89d9dec 2004 ocaml optional coq-libhyps_2.0.6-2build2.debian.tar.xz
 af2778949116ae2ce487386af4b8eb9d 7152 ocaml optional coq-libhyps_2.0.6-2build2_source.buildinfo