Format: 1.8
Date: Sat, 17 Feb 2024 01:26:18 +0100
Source: coq-interval
Binary: libcoq-interval
Built-For-Profiles: noudeb
Architecture: armhf
Version: 4.9.0-1build2
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos03-arm64-023.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-interval - interval arithmetic for Coq
Changes:
 coq-interval (4.9.0-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 2a0fdd7cb815e9fa48339a385229182edd03a67c 7958 coq-interval_4.9.0-1build2_armhf.buildinfo
 65a789686480c17c352d75b5576db046c4b6c62a 4420 libcoq-interval-dbgsym_4.9.0-1build2_armhf.ddeb
 30a5f4bc4c870cbbd4f1d9eb1d7c4db06d8577a8 6835562 libcoq-interval_4.9.0-1build2_armhf.deb
Checksums-Sha256:
 bf4698511f869e54454b087cb8f5dd454714b87e02e573af1374e27deeacba11 7958 coq-interval_4.9.0-1build2_armhf.buildinfo
 b4f3b2321f28d0ef73da967c16243ad23674d4b5e2721acab354c6031cb58537 4420 libcoq-interval-dbgsym_4.9.0-1build2_armhf.ddeb
 793fbf7bfe03a1283f27e3ba18c89414b398675e24c24bfb21e2114717683718 6835562 libcoq-interval_4.9.0-1build2_armhf.deb
Files:
 068ddf68644c620eb6e8839f4aaa04cb 7958 ocaml optional coq-interval_4.9.0-1build2_armhf.buildinfo
 34d2aae04196da4162b10cbb2f3a477b 4420 debug optional libcoq-interval-dbgsym_4.9.0-1build2_armhf.ddeb
 d2a07313d7427fd7d7eb5f8e5f7fd202 6835562 ocaml optional libcoq-interval_4.9.0-1build2_armhf.deb