Format: 1.8
Date: Sat, 17 Feb 2024 01:26:18 +0100
Source: coq-interval
Binary: libcoq-interval
Built-For-Profiles: noudeb
Architecture: arm64
Version: 4.9.0-1build2
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-arm64-033.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:
 e77d808e92e70e3286ead51746dc431bb6d221c6 8121 coq-interval_4.9.0-1build2_arm64.buildinfo
 ab833b386c23e5263849c228c9b5192e6f9ea6de 4348 libcoq-interval-dbgsym_4.9.0-1build2_arm64.ddeb
 0b4cd06e065ad6dc015ad219e77c1da0cbeeda65 6836638 libcoq-interval_4.9.0-1build2_arm64.deb
Checksums-Sha256:
 8cc630896ddde531ff52e18321f5aabb29eb83d1c563323ff74ccceadd2e81ff 8121 coq-interval_4.9.0-1build2_arm64.buildinfo
 a7d7b87f5cd357f5541039bf54fc19c5ce8f90ab20948fb70e9760f12dec0a70 4348 libcoq-interval-dbgsym_4.9.0-1build2_arm64.ddeb
 a596996829922c06d692a994d67782c34512e60bc61cd05291eebfe4929830c8 6836638 libcoq-interval_4.9.0-1build2_arm64.deb
Files:
 d32a567f725491e7012065249f484ec4 8121 ocaml optional coq-interval_4.9.0-1build2_arm64.buildinfo
 4f62237ee4332f3e2bdbb7bbb45a2bc7 4348 debug optional libcoq-interval-dbgsym_4.9.0-1build2_arm64.ddeb
 b396272dca414836c3642c8d25051f65 6836638 ocaml optional libcoq-interval_4.9.0-1build2_arm64.deb