Format: 1.8
Date: Tue, 08 Sep 2026 02:25:02 +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.1
Checksums-Sha1:
 e8c9af6a032ebed68732e74005db0698f1e775e9 1321 coq-interval_4.11.4-3+ocaml1.dsc
 8bf2b4b79c93006fea48563bd2483be932cceb26 346599 coq-interval_4.11.4.orig.tar.gz
 cebd3bdc009a683aefd37a918ce77d5161b43f9c 10456 coq-interval_4.11.4-3+ocaml1.debian.tar.xz
 c147f3379ee036b17a1d47af0d28bfebe99859c0 6987 coq-interval_4.11.4-3+ocaml1_amd64.buildinfo
 4cb086f75400a21f4e9390353d6b00ead357a330 6448208 libcoq-interval_4.11.4-3+ocaml1_amd64.deb
Checksums-Sha256:
 3642152df690484ade78879d4a9519c254f3a81fc68e113a7d66b89dc27933c5 1321 coq-interval_4.11.4-3+ocaml1.dsc
 f2e0c6ee1bd781db896d032a6e5dbac5b19ee1f8b0ef364b4d272be9c921d66c 346599 coq-interval_4.11.4.orig.tar.gz
 b07b7e40da7c1e3e07a04e365ea2a2b56aabe2a4215816dc180df8695c3968c9 10456 coq-interval_4.11.4-3+ocaml1.debian.tar.xz
 e87f26e005d60789ad27167a1a31b6da02eb77b8710617ffde2a79e0e138ceca 6987 coq-interval_4.11.4-3+ocaml1_amd64.buildinfo
 416f4f2ad22c271f79c4195cc724bcbf86c81f9949e139f8c483226c0ca5968e 6448208 libcoq-interval_4.11.4-3+ocaml1_amd64.deb
Files:
 965f64af7f6f6bb1beacc4bc3208d0cc 1321 ocaml optional coq-interval_4.11.4-3+ocaml1.dsc
 62fb47fa58c6ce854ea3bf9534a9b648 346599 ocaml optional coq-interval_4.11.4.orig.tar.gz
 0aff8abef61db2109da60222f83d417f 10456 ocaml optional coq-interval_4.11.4-3+ocaml1.debian.tar.xz
 33cbf7fa93aecd0001e31cd704d1c804 6987 ocaml optional coq-interval_4.11.4-3+ocaml1_amd64.buildinfo
 aa11da5893b99ef75df221f8b87c38f6 6448208 ocaml optional libcoq-interval_4.11.4-3+ocaml1_amd64.deb