Format: 1.8
Date: Wed, 11 Nov 2026 17:17:11 +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:
 d0835f65cc6e9ea3047c9e4bf5ae53d578992266 1321 coq-interval_4.11.4-3+ocaml1.dsc
 8bf2b4b79c93006fea48563bd2483be932cceb26 346599 coq-interval_4.11.4.orig.tar.gz
 f8c5a4364297195af2693ab6f0253be34bdabc2f 10456 coq-interval_4.11.4-3+ocaml1.debian.tar.xz
 c3ee807846746cea0436e5ab6f28038e1d8db51e 7138 coq-interval_4.11.4-3+ocaml1_amd64.buildinfo
 66826c8aa39df8c998e2fbe31839d277fafe2691 6447488 libcoq-interval_4.11.4-3+ocaml1_amd64.deb
Checksums-Sha256:
 b84707f44fb6c277eeb6826c2ca2e98910390c0f8e32d73666cf33473bda1a62 1321 coq-interval_4.11.4-3+ocaml1.dsc
 f2e0c6ee1bd781db896d032a6e5dbac5b19ee1f8b0ef364b4d272be9c921d66c 346599 coq-interval_4.11.4.orig.tar.gz
 23652df8b96427a8eda1414f7bd4b4c4b3660c69ca756bad399895c670cc8218 10456 coq-interval_4.11.4-3+ocaml1.debian.tar.xz
 74f0a9a00232fe72c718aa4a1d0a10f7f2c76b67a33726b21cbaee61805a854c 7138 coq-interval_4.11.4-3+ocaml1_amd64.buildinfo
 27225453904766cca7b738fb8dc1dd6dee9a1a977ce1dc15328e23502a5a6bc6 6447488 libcoq-interval_4.11.4-3+ocaml1_amd64.deb
Files:
 023af0ce9b77fd073e72a96aca953f52 1321 ocaml optional coq-interval_4.11.4-3+ocaml1.dsc
 62fb47fa58c6ce854ea3bf9534a9b648 346599 ocaml optional coq-interval_4.11.4.orig.tar.gz
 2cddef7c905b5f6b9dab1e11021f8021 10456 ocaml optional coq-interval_4.11.4-3+ocaml1.debian.tar.xz
 93b27f102a09f9108cfa5ebb37418185 7138 ocaml optional coq-interval_4.11.4-3+ocaml1_amd64.buildinfo
 7f73f212feaa83d6738b415e88bfde54 6447488 ocaml optional libcoq-interval_4.11.4-3+ocaml1_amd64.deb