[ubuntu/plucky-proposed] coq-libhyps 2.0.8-4build5 (Accepted)

[Jeremy Bícha]

coq-libhyps (2.0.8-4build5) plucky; urgency=medium

  * Rebuild against latest ocaml

Date: Sat, 01 Feb 2025 20:15:02 -0500
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-libhyps/2.0.8-4build5
-------------- next part --------------
Format: 1.8
Date: Sat, 01 Feb 2025 20:15:02 -0500
Source: coq-libhyps
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.8-4build5
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-libhyps (2.0.8-4build5) plucky; urgency=medium
 .
   * Rebuild against latest ocaml
Checksums-Sha1:
 1645a3a61d5dd5349c5770a56e563f5d4a420fd9 2071 coq-libhyps_2.0.8-4build5.dsc
 8bdeb04e5ccc2896e79ea0f4c748c7e5452a01e1 2412 coq-libhyps_2.0.8-4build5.debian.tar.xz
 344bebb5f8313e59a7414ec8bd41ae7ab5c1d2a7 7058 coq-libhyps_2.0.8-4build5_source.buildinfo
Checksums-Sha256:
 83097ce1330aa272579d51a94dac3982e5ea65638687c59b4652fb8e509808a3 2071 coq-libhyps_2.0.8-4build5.dsc
 a0dc967f0a03cbda781d00a0beff0d6794d7083b338cac2df638a6680ed85f4e 2412 coq-libhyps_2.0.8-4build5.debian.tar.xz
 53400307eefb7951fa3f8f9e2b16ba7dc2a5815c664872acc06a0014ebaf9d15 7058 coq-libhyps_2.0.8-4build5_source.buildinfo
Files:
 904c67396d8e183dd05f3174881e4a34 2071 ocaml optional coq-libhyps_2.0.8-4build5.dsc
 1edd84db9256c87ba4f728b889f65213 2412 ocaml optional coq-libhyps_2.0.8-4build5.debian.tar.xz
 21abab3789334af73a1e09721a29c23f 7058 ocaml optional coq-libhyps_2.0.8-4build5_source.buildinfo