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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 26 Jan 2023 14:00:40 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 26 Jan 2023 14:00:40 +0100
Source: coq-libhyps
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.6-2build1
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-2build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 fefdc80b7b856ef5ccac6b76c016071c8cdca277 2071 coq-libhyps_2.0.6-2build1.dsc
 6ee58c5b79bd5c67d5268f2c07d89a398062d9c0 1988 coq-libhyps_2.0.6-2build1.debian.tar.xz
 88cdfb4530e004c6a6137596b66666fc59777dd2 7108 coq-libhyps_2.0.6-2build1_source.buildinfo
Checksums-Sha256:
 f4d72ad74e2cb75d23391daa9310d06a570352980d77b3c5f139d4f6fb8f69aa 2071 coq-libhyps_2.0.6-2build1.dsc
 6d230afd69375ad7e2bd5127485b66a3492b67ea5b7e496bfa375a3c5023ce78 1988 coq-libhyps_2.0.6-2build1.debian.tar.xz
 3bf2611ffda2ef2e5c26ee1f13890d3b4de55fa96b5182250dbea6d8001e0575 7108 coq-libhyps_2.0.6-2build1_source.buildinfo
Files:
 1ba00090ae1e79d66eef2930b7b3f034 2071 ocaml optional coq-libhyps_2.0.6-2build1.dsc
 5b62e2ec86408a113f869ec546a65c16 1988 ocaml optional coq-libhyps_2.0.6-2build1.debian.tar.xz
 de0fd689effa8bfa20dd2c14f899a255 7108 ocaml optional coq-libhyps_2.0.6-2build1_source.buildinfo