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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 15 Aug 2024 08:38:27 +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-4build1
-------------- next part --------------
Format: 1.8
Date: Thu, 15 Aug 2024 08:38:27 +0200
Source: coq-libhyps
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.8-4build1
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-4build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 855d2421cf56480185b2c17b7aa507f3ef5988f1 2071 coq-libhyps_2.0.8-4build1.dsc
 0afe7191a496df358cd7abeab15f649de2fd4cb2 2276 coq-libhyps_2.0.8-4build1.debian.tar.xz
 abb5bdc473e9846557317f55f32ae75052e7e551 7856 coq-libhyps_2.0.8-4build1_source.buildinfo
Checksums-Sha256:
 761e6d3fc591a3e982a3f30c5187c4b736a577f98b899d21373798a3be81f0b5 2071 coq-libhyps_2.0.8-4build1.dsc
 f8b4923bfa97fa7feb7cb650a467706e1635d540bf4e1444dcf50cab42576971 2276 coq-libhyps_2.0.8-4build1.debian.tar.xz
 55ea35088dd6832364f1d85dca52b99d21d41108738950589b215a5d9b594bcb 7856 coq-libhyps_2.0.8-4build1_source.buildinfo
Files:
 fb09dda2797e15ff077914fc5a837b52 2071 ocaml optional coq-libhyps_2.0.8-4build1.dsc
 5287fd97ddc2c97e76d80ca5399de8ef 2276 ocaml optional coq-libhyps_2.0.8-4build1.debian.tar.xz
 dd6c4a075340888c5af2946193879def 7856 ocaml optional coq-libhyps_2.0.8-4build1_source.buildinfo