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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sat, 15 Jun 2024 16:34:28 +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-3build3
-------------- next part --------------
Format: 1.8
Date: Sat, 15 Jun 2024 16:34:28 +0200
Source: coq-libhyps
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.8-3build3
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-3build3) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 2cace59d9a086599aafb7a1bf7c6e43485bb6e58 2071 coq-libhyps_2.0.8-3build3.dsc
 e732f3dc2d6b42a3b9ebc75b64320556d6ff13e6 2244 coq-libhyps_2.0.8-3build3.debian.tar.xz
 675d8fad8c9ce15dfcf430fde902faa53501cada 7832 coq-libhyps_2.0.8-3build3_source.buildinfo
Checksums-Sha256:
 232bbafbdc33bc693c6d55ae2f9d56e1ed217bbe355fdedd73ee412f4697b54b 2071 coq-libhyps_2.0.8-3build3.dsc
 0744e62405e0a1c8c1089ad07400ce2000601443c14fc62090124a25a99e631f 2244 coq-libhyps_2.0.8-3build3.debian.tar.xz
 ade4f011b45e5962ef9c72802cf36474f6127cc642097f796dcb53c55736ffe0 7832 coq-libhyps_2.0.8-3build3_source.buildinfo
Files:
 67c261208e8273ededfa9de6e1311cd1 2071 ocaml optional coq-libhyps_2.0.8-3build3.dsc
 b8967d9fcae90b686c011ae4143c0755 2244 ocaml optional coq-libhyps_2.0.8-3build3.debian.tar.xz
 77d9143e788c81df00093241336ec655 7832 ocaml optional coq-libhyps_2.0.8-3build3_source.buildinfo