[ubuntu/resolute-proposed] coq-interval 4.11.1-1build13 (Accepted)

[Gianfranco Costamagna]

coq-interval (4.11.1-1build13) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 06 Nov 2025 11:29:27 +0100
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.11.1-1build13
-------------- next part --------------
Format: 1.8
Date: Thu, 06 Nov 2025 11:29:27 +0100
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.11.1-1build13
Distribution: resolute
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.11.1-1build13) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 5a31c371fa451d0a2a85d24752ebbf3445a04f29 2194 coq-interval_4.11.1-1build13.dsc
 6a5f563165812d4ea807152d396467d9c4b6d0bd 9660 coq-interval_4.11.1-1build13.debian.tar.xz
 3efdb22441e2665f4f501f4e1e713e7fedf32bb9 7865 coq-interval_4.11.1-1build13_source.buildinfo
Checksums-Sha256:
 b2a786e5f184b9664eb89e38a9b1a4d8f41afdee551a1f002edcfc3eb447642f 2194 coq-interval_4.11.1-1build13.dsc
 51cfc7d4c5bea728e750da5901b30715c9ca546e8cbe334872d53aaa92ef0185 9660 coq-interval_4.11.1-1build13.debian.tar.xz
 925827d2879a4c3e012e6dbcbc62858c9eb6fcfd5b50ac36ce9cbf90cfcfa0f0 7865 coq-interval_4.11.1-1build13_source.buildinfo
Files:
 bd3075b9c60c8684824d2645c93a6637 2194 ocaml optional coq-interval_4.11.1-1build13.dsc
 6b91024f1bab8d55cc4f818468c6b454 9660 ocaml optional coq-interval_4.11.1-1build13.debian.tar.xz
 0c9f3e6691a66848f92df81bfa14425a 7865 ocaml optional coq-interval_4.11.1-1build13_source.buildinfo