[ubuntu/oracular-proposed] coq-interval 4.10.0-1build2 (Accepted)

[Gianfranco Costamagna]

coq-interval (4.10.0-1build2) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 13 May 2024 20:23:08 +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-interval/4.10.0-1build2
-------------- next part --------------
Format: 1.8
Date: Mon, 13 May 2024 20:23:08 +0200
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.10.0-1build2
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-interval (4.10.0-1build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 a06745a7f125e82ae24556da13f8b9984cab8e76 2193 coq-interval_4.10.0-1build2.dsc
 71428fa3d2d5511e515a1712ffb2e265a79428ad 9296 coq-interval_4.10.0-1build2.debian.tar.xz
 579b903c775ad81fde59a2e9c43e6bcbfc6d9c7f 7840 coq-interval_4.10.0-1build2_source.buildinfo
Checksums-Sha256:
 4c669b012bf98ce669b97acd492a3188f3bfec8a3679674803efe09bd692eb5d 2193 coq-interval_4.10.0-1build2.dsc
 c88827c9e2a1ff9fdfc2bf1632c40ae6bb8c139c7f75f57c79fa98b6d76176d8 9296 coq-interval_4.10.0-1build2.debian.tar.xz
 6019e3b0b17a55a50a986df4be618e799622919b3ec8d6e33849d5d850ad5a5e 7840 coq-interval_4.10.0-1build2_source.buildinfo
Files:
 e3abf745606881d8938c33fe5d6f5c15 2193 ocaml optional coq-interval_4.10.0-1build2.dsc
 363bd9c60de9071da4db16eb439d5288 9296 ocaml optional coq-interval_4.10.0-1build2.debian.tar.xz
 be594401e9e1752dfa1cf1070b2cdd50 7840 ocaml optional coq-interval_4.10.0-1build2_source.buildinfo