Format: 1.8
Date: Sat, 17 Feb 2024 01:26:18 +0100
Source: coq-interval
Binary: libcoq-interval
Built-For-Profiles: noudeb
Architecture: amd64
Version: 4.9.0-1build2
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos03-amd64-019.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:
 ff450eb00114b06ca725a29bbcc946db2ea26277 8154 coq-interval_4.9.0-1build2_amd64.buildinfo
 05c39fc2eb6c8e145342031224b5ab4d0a555ed8 3956 libcoq-interval-dbgsym_4.9.0-1build2_amd64.ddeb
 3fbe4ad515774daf677976f7f384cbbe2fe58e51 6834384 libcoq-interval_4.9.0-1build2_amd64.deb
Checksums-Sha256:
 85fe7e62ececd005c873ffd317209aaf6bf88145556bcb78cdd64b85157d11fb 8154 coq-interval_4.9.0-1build2_amd64.buildinfo
 2816fbe8a8251ef8dcd7cd38ef77f700519ef8737de7a950b76b0e7f9a5d73c5 3956 libcoq-interval-dbgsym_4.9.0-1build2_amd64.ddeb
 a1b932e863c2deb5e359dd470585f0d4d1762367b65e059516e1b2ba8c37c223 6834384 libcoq-interval_4.9.0-1build2_amd64.deb
Files:
 700c8bdced4bbce8cefb847edcfcd1b5 8154 ocaml optional coq-interval_4.9.0-1build2_amd64.buildinfo
 bee1b893c9ece875ce2739b1eaa076fc 3956 debug optional libcoq-interval-dbgsym_4.9.0-1build2_amd64.ddeb
 a6f8d976afedede912072fe692aa9b12 6834384 ocaml optional libcoq-interval_4.9.0-1build2_amd64.deb