[ubuntu/noble-proposed] coq-interval 4.9.0-1build5 (Accepted)

[Gianfranco Costamagna]

coq-interval (4.9.0-1build5) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 08 Apr 2024 09:17:36 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-interval/4.9.0-1build5
-------------- next part --------------
Format: 1.8
Date: Mon, 08 Apr 2024 09:17:36 +0200
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.9.0-1build5
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-interval (4.9.0-1build5) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 98824d5e31547ea17cca2b932b0748b9b5e1854c 2265 coq-interval_4.9.0-1build5.dsc
 52bc0ffe430aa01af1110ec0bbe9337c6f0a6635 9448 coq-interval_4.9.0-1build5.debian.tar.xz
 058910bb6925f93bc65ff98b9884fad50a855999 7836 coq-interval_4.9.0-1build5_source.buildinfo
Checksums-Sha256:
 c1743615ed4b9518c5aebf0fe910e1854915d76b240db58ac60414b8909ea228 2265 coq-interval_4.9.0-1build5.dsc
 c92a8a9764b79ecc829c0ba6f1c2e1196e19619bedbc34136df22d28aeb6e405 9448 coq-interval_4.9.0-1build5.debian.tar.xz
 f5e3663a6b7882b90897646c90fe165275b43e46e5c43dfcf3013e924341e51d 7836 coq-interval_4.9.0-1build5_source.buildinfo
Files:
 71b28c35876c6c6659583c000cdaf934 2265 ocaml optional coq-interval_4.9.0-1build5.dsc
 5b3289288094a7346db57d50f6d06b69 9448 ocaml optional coq-interval_4.9.0-1build5.debian.tar.xz
 b6c71b7c170513e2c442d9c73f2039d7 7836 ocaml optional coq-interval_4.9.0-1build5_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>