[ubuntu/oracular-proposed] coq-libhyps 2.0.8-3build1 (Accepted)

[Gianfranco Costamagna]

coq-libhyps (2.0.8-3build1) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 02 May 2024 22:09:47 +0200
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.8-3build1
-------------- next part --------------
Format: 1.8
Date: Thu, 02 May 2024 22:09:47 +0200
Source: coq-libhyps
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.8-3build1
Distribution: oracular
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.8-3build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 caf5ac448295a18a7846fc549b90d5539f963395 2071 coq-libhyps_2.0.8-3build1.dsc
 09128913ce48363918729b20e45b45fde405a353 2216 coq-libhyps_2.0.8-3build1.debian.tar.xz
 7820979c72aeac6bc09b2f1af286afe74d40c403 7832 coq-libhyps_2.0.8-3build1_source.buildinfo
Checksums-Sha256:
 fe0a7c40de4c6ee2f3e472007b063e10c582041b9a1d6fdd705f8748ff7ce922 2071 coq-libhyps_2.0.8-3build1.dsc
 69ab94d26078fdbf1e0a100c58c2ac5c3e6201d5accb8c3f7d3b7ab5eed85992 2216 coq-libhyps_2.0.8-3build1.debian.tar.xz
 671bd0dce2c22044554a7442f6c1d1bcad4204e86150b4ac148ab41b05151256 7832 coq-libhyps_2.0.8-3build1_source.buildinfo
Files:
 e1cce6c45ead5f6bf30e224df4fb7882 2071 ocaml optional coq-libhyps_2.0.8-3build1.dsc
 d6a206103ebbca4b2e1293214aa925f9 2216 ocaml optional coq-libhyps_2.0.8-3build1.debian.tar.xz
 47267ebe83476773b79bd1b4d344f418 7832 ocaml optional coq-libhyps_2.0.8-3build1_source.buildinfo