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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Tue, 27 Jan 2026 22:47:25 +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-1build15
-------------- next part --------------
Format: 1.8
Date: Tue, 27 Jan 2026 22:47:25 +0100
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.11.1-1build15
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-1build15) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 ba19e787476d635b1046213f485acbdb157885aa 2194 coq-interval_4.11.1-1build15.dsc
 35000860d5ae0dbe5e4b277e6bb57e7960146ccb 9680 coq-interval_4.11.1-1build15.debian.tar.xz
 5bd87f0bb418e03ff715e4185c3e612288d01ec8 7875 coq-interval_4.11.1-1build15_source.buildinfo
Checksums-Sha256:
 1a7e8f09d9ae6faa46cdb1b296a943f4b39a5c60a8c55435807a663c027b0a8c 2194 coq-interval_4.11.1-1build15.dsc
 c439e18e75088026cc973a80b758c461fb3cc7f913d2a35434a6f2a7fdc45de1 9680 coq-interval_4.11.1-1build15.debian.tar.xz
 48dadcc48e7692388f6a1ec655b06101e877b3d16334681b3fa45fc4a320f902 7875 coq-interval_4.11.1-1build15_source.buildinfo
Files:
 8b92a25d3fe5a83dad0c8eccf2aeceb6 2194 ocaml optional coq-interval_4.11.1-1build15.dsc
 7fd4b13326ac4a5e932af01a118bbf1d 9680 ocaml optional coq-interval_4.11.1-1build15.debian.tar.xz
 ef320a75f51cca800a4bd543f5934ebf 7875 ocaml optional coq-interval_4.11.1-1build15_source.buildinfo