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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 02 May 2024 22:17:57 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 02 May 2024 22:17:57 +0200
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.10.0-1build1
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-1build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 490da22982e9e1d66e2cf1f095e8169007e24ffe 2193 coq-interval_4.10.0-1build1.dsc
 8de1d33a131d292d24e18805b3f6e9becd4dd2df 9272 coq-interval_4.10.0-1build1.debian.tar.xz
 42ebc9595f51d1743f28736d8ce7f04a6994b2b2 7840 coq-interval_4.10.0-1build1_source.buildinfo
Checksums-Sha256:
 c47822fd47f23dd69b6e72d3cd7ae9eb13a4e480b042af65468fe0493fe60acb 2193 coq-interval_4.10.0-1build1.dsc
 d6197314ee8396895c9c1fac7a8b437364d668d8d7a781312f180ba62f39bbac 9272 coq-interval_4.10.0-1build1.debian.tar.xz
 f94b264fb3753371dc605cc175181edd2ae2a1f9d3b27e7b61cff517541d5447 7840 coq-interval_4.10.0-1build1_source.buildinfo
Files:
 606a720f64022451bb8309dc9c17abb5 2193 ocaml optional coq-interval_4.10.0-1build1.dsc
 a45fe72ed0867cd6040991e7c2154277 9272 ocaml optional coq-interval_4.10.0-1build1.debian.tar.xz
 3123873dd3a5daff5d0729253913de5e 7840 ocaml optional coq-interval_4.10.0-1build1_source.buildinfo