Format: 1.8
Date: Sat, 07 Nov 2026 00:18:55 +0100
Source: coq-interval
Binary: libcoq-interval
Architecture: source amd64
Version: 4.11.4-3+ocaml1
Distribution: unstable-ocaml
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 libcoq-interval - interval arithmetic for Coq
Changes:
 coq-interval (4.11.4-3+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.5.2
Checksums-Sha1:
 dabed3035e6c6878d30203b8edbecb2ad760795f 1321 coq-interval_4.11.4-3+ocaml1.dsc
 8bf2b4b79c93006fea48563bd2483be932cceb26 346599 coq-interval_4.11.4.orig.tar.gz
 521b2a0fd49fe031bb0e8651d3aa6bc14c226c8f 10452 coq-interval_4.11.4-3+ocaml1.debian.tar.xz
 9168d473214ec5494756f402f285d5a5546b5e1f 7135 coq-interval_4.11.4-3+ocaml1_amd64.buildinfo
 aa5095657d4b11d1f68dadc87d03963b69ae8103 6448176 libcoq-interval_4.11.4-3+ocaml1_amd64.deb
Checksums-Sha256:
 58671f2a57d065db84eb9ccf76b6c8b8d37497380e2ba2cc5857a18a209641b5 1321 coq-interval_4.11.4-3+ocaml1.dsc
 f2e0c6ee1bd781db896d032a6e5dbac5b19ee1f8b0ef364b4d272be9c921d66c 346599 coq-interval_4.11.4.orig.tar.gz
 b550cf72e812742e49c241f9d6687774e9d7c66ccaf51a4ebb7d561235dceb07 10452 coq-interval_4.11.4-3+ocaml1.debian.tar.xz
 2d84726d66dddaf4942436a05072abef37d2e840c6ca3c7b05119b10d61e2863 7135 coq-interval_4.11.4-3+ocaml1_amd64.buildinfo
 16ee0837ddc6e9e079857a1ee392fb04c3358935a696d42eba221cf70d03ad1d 6448176 libcoq-interval_4.11.4-3+ocaml1_amd64.deb
Files:
 aed4c92d86d314b1ef4803e948669870 1321 ocaml optional coq-interval_4.11.4-3+ocaml1.dsc
 62fb47fa58c6ce854ea3bf9534a9b648 346599 ocaml optional coq-interval_4.11.4.orig.tar.gz
 53f2e51c405c74b4acfcf07d7aa62fca 10452 ocaml optional coq-interval_4.11.4-3+ocaml1.debian.tar.xz
 0854d152cc06111edd84993a81d2336c 7135 ocaml optional coq-interval_4.11.4-3+ocaml1_amd64.buildinfo
 2a857b41291ec9cd667212628aaa2ae0 6448176 ocaml optional libcoq-interval_4.11.4-3+ocaml1_amd64.deb