Format: 1.8
Date: Fri, 23 Oct 2026 20:12:11 +0200
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:
 c640c1ac45075459e0999224afd5e1565207bd5f 1321 coq-interval_4.11.4-3+ocaml1.dsc
 8bf2b4b79c93006fea48563bd2483be932cceb26 346599 coq-interval_4.11.4.orig.tar.gz
 86b69bff5ddf126d7928cacfcd462289a159d23f 10456 coq-interval_4.11.4-3+ocaml1.debian.tar.xz
 0f25a4b2a3884b2ab8e298e33fb6400fb8d3baff 7081 coq-interval_4.11.4-3+ocaml1_amd64.buildinfo
 d4b2e23c520adc9b5cfc7e9851c897eb563913e4 6448356 libcoq-interval_4.11.4-3+ocaml1_amd64.deb
Checksums-Sha256:
 7955214428d2b2617559105db7a6ebb249af9ec2de9ba1b94e6f1ea7908be6de 1321 coq-interval_4.11.4-3+ocaml1.dsc
 f2e0c6ee1bd781db896d032a6e5dbac5b19ee1f8b0ef364b4d272be9c921d66c 346599 coq-interval_4.11.4.orig.tar.gz
 cb20c2fe72e54564babbe5cedfec769cb30dcbd3f5e4d261b3446368fb883090 10456 coq-interval_4.11.4-3+ocaml1.debian.tar.xz
 cd2cbb296ce8a25ab1b1ac8b08d96af87532ecc0d9cb2c3e5ea2c2873764d606 7081 coq-interval_4.11.4-3+ocaml1_amd64.buildinfo
 e00455be7e7c7ac9a7c641b66a2cef62789c01d48d43b0638117854649ad3381 6448356 libcoq-interval_4.11.4-3+ocaml1_amd64.deb
Files:
 02304579b6ddcb6baf451996904c3e4b 1321 ocaml optional coq-interval_4.11.4-3+ocaml1.dsc
 62fb47fa58c6ce854ea3bf9534a9b648 346599 ocaml optional coq-interval_4.11.4.orig.tar.gz
 26595ef7d312f261a13df6122f10cc44 10456 ocaml optional coq-interval_4.11.4-3+ocaml1.debian.tar.xz
 92a90403ff3e45c0ba2693caa0744af4 7081 ocaml optional coq-interval_4.11.4-3+ocaml1_amd64.buildinfo
 c22d1ab29b434a8ed4571471290e90ba 6448356 ocaml optional libcoq-interval_4.11.4-3+ocaml1_amd64.deb