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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 25 Nov 2022 19:12:04 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 19:12:04 +0100
Source: coq-libhyps
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.6-1build2
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-1build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 062e080df44e3a4712c86e3d9f6bef39c39cc192 2066 coq-libhyps_2.0.6-1build2.dsc
 77645bc9d3524a4cb88915bd39a1cc3cea5c34fd 1960 coq-libhyps_2.0.6-1build2.debian.tar.xz
 02175e31806b226e95211721463146a7fba311d6 7885 coq-libhyps_2.0.6-1build2_source.buildinfo
Checksums-Sha256:
 79dfd311963d691056366f9335d050fb3849e7ae24c93f0cff6f98149aaa0fe0 2066 coq-libhyps_2.0.6-1build2.dsc
 82d5bd74ae1ea2b96d6f121ac911718a12cf495325f02c15f6d9dfa2d5d03c0c 1960 coq-libhyps_2.0.6-1build2.debian.tar.xz
 e7e694a8378bc08ff8d3e43ab6ce9b106fd76550a8ade3f6e659c3ac8a3808b4 7885 coq-libhyps_2.0.6-1build2_source.buildinfo
Files:
 0ad83da45571730ccbbfd093c37a535a 2066 ocaml optional coq-libhyps_2.0.6-1build2.dsc
 7adfbeb6f662bae63646cdcac6029c55 1960 ocaml optional coq-libhyps_2.0.6-1build2.debian.tar.xz
 6dca9121e9c698d267304c6463a804bb 7885 ocaml optional coq-libhyps_2.0.6-1build2_source.buildinfo