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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 13 May 2024 20:20:19 +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-3build2
-------------- next part --------------
Format: 1.8
Date: Mon, 13 May 2024 20:20:19 +0200
Source: coq-libhyps
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.8-3build2
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-3build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 1812bace0ea7acfb2afd05e0655b6038c1066e23 2071 coq-libhyps_2.0.8-3build2.dsc
 b6c5bbe4f4cd3572b7b63f6a5e9d010195a1f249 2224 coq-libhyps_2.0.8-3build2.debian.tar.xz
 122056be67400efcabc4042a2b46383ab731a489 7832 coq-libhyps_2.0.8-3build2_source.buildinfo
Checksums-Sha256:
 d6ff48b38760212d90390bd5941a066c5ed80c501a52bb96fea6b0b00d6df178 2071 coq-libhyps_2.0.8-3build2.dsc
 2553463209bed3bb47b238ff2d8cecc9eafd6f2dc574d948de21c4f212ff6538 2224 coq-libhyps_2.0.8-3build2.debian.tar.xz
 cf7a3ee3f475d117b1e013156ca90aa50bad40330f4a952d223658c242c262e7 7832 coq-libhyps_2.0.8-3build2_source.buildinfo
Files:
 615429dcefbd0cd105c5cc30a06bc8bb 2071 ocaml optional coq-libhyps_2.0.8-3build2.dsc
 34fe047851eba27b47f5bd207d85114e 2224 ocaml optional coq-libhyps_2.0.8-3build2.debian.tar.xz
 e3e1b2be6715cda778476514d55e6be1 7832 ocaml optional coq-libhyps_2.0.8-3build2_source.buildinfo