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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Fri, 25 Nov 2022 12:04:24 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 12:04:24 +0100
Source: coq-libhyps
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.6-1build1
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-1build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 0678d36d9a3665738a2ffec1ac6954a29dee0b7d 2066 coq-libhyps_2.0.6-1build1.dsc
 dc0811944e3e3e17054e83f90f3cf45da1327a98 1948 coq-libhyps_2.0.6-1build1.debian.tar.xz
 5739ff2a2856a728592541e7a49e9566a63936d0 7885 coq-libhyps_2.0.6-1build1_source.buildinfo
Checksums-Sha256:
 154e572cfdb09d3c5d52b285a9d050d40834a08f65aecdb2ce8e5a893161edb6 2066 coq-libhyps_2.0.6-1build1.dsc
 7a003d2d0f7e33f86fd68766388b9a6edd491e7a8b113c0d27f72ba1dd369639 1948 coq-libhyps_2.0.6-1build1.debian.tar.xz
 874b01ed0a47d228be5754bb9a2b606ac3910f624b7529469572007a56f4c9c9 7885 coq-libhyps_2.0.6-1build1_source.buildinfo
Files:
 7f4ac5c9c7beaba859b52732b3e4ef64 2066 ocaml optional coq-libhyps_2.0.6-1build1.dsc
 1dd8457e81a11550df41c06bc972d37a 1948 ocaml optional coq-libhyps_2.0.6-1build1.debian.tar.xz
 879f4b66fd867c4891441faca486bd53 7885 ocaml optional coq-libhyps_2.0.6-1build1_source.buildinfo