[ubuntu/mantic-proposed] coq-libhyps 2.0.6-3build1 (Accepted)

[Gianfranco Costamagna]

coq-libhyps (2.0.6-3build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 26 Jul 2023 07:11:12 +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.6-3build1
-------------- next part --------------
Format: 1.8
Date: Wed, 26 Jul 2023 07:11:12 +0200
Source: coq-libhyps
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.6-3build1
Distribution: mantic
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.6-3build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 6efe55567279da03f9f4a79813c3373d2fb18b79 2071 coq-libhyps_2.0.6-3build1.dsc
 3446e58ae9bf9c5e388bf7a8f8e6ddc3271885f7 2016 coq-libhyps_2.0.6-3build1.debian.tar.xz
 9c8829f52552775abf8ac80b7a6f2db4432d3275 7786 coq-libhyps_2.0.6-3build1_source.buildinfo
Checksums-Sha256:
 c201bc13ccb05a343f5c30ef244d47feec9b6c1167c2c1c054e8dcd4316fff29 2071 coq-libhyps_2.0.6-3build1.dsc
 c6b6e575c920f916ddf4baa089f8e1980b130f18fde7f5bf0cb4e27708a03902 2016 coq-libhyps_2.0.6-3build1.debian.tar.xz
 42c49cd7f570e2eb5be1c34743e1593f7833acd443485ff1d120f0cf430abaef 7786 coq-libhyps_2.0.6-3build1_source.buildinfo
Files:
 0f8c9c1b89be4d24563aa601705f1ed2 2071 ocaml optional coq-libhyps_2.0.6-3build1.dsc
 6cdd4af90a44557bdb467faabd4c79c8 2016 ocaml optional coq-libhyps_2.0.6-3build1.debian.tar.xz
 3343ec4c60ba03a6a11339c984d5d72d 7786 ocaml optional coq-libhyps_2.0.6-3build1_source.buildinfo