Format: 1.8
Date: Fri, 23 Oct 2026 19:34:28 +0200
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: source amd64
Version: 5.0.0-2+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-libhyps - Tactics on hypotheses in Coq
Changes:
 coq-libhyps (5.0.0-2+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.5.2
Checksums-Sha1:
 48452e408e48342a0b6aca0d953f77901ef9dd72 1199 coq-libhyps_5.0.0-2+ocaml1.dsc
 8a9274e7e9fad0e7ee7726465b91e4f74d44ec8f 47931 coq-libhyps_5.0.0.orig.tar.gz
 df220394dc549d1aba6c1747d627800ba106de51 2376 coq-libhyps_5.0.0-2+ocaml1.debian.tar.xz
 8e46f468da2f8cd6d82c5595af51406e823dd56e 6207 coq-libhyps_5.0.0-2+ocaml1_amd64.buildinfo
 f79af2d4f8f3c7b7cf60b3a9532da21e7955c092 79384 libcoq-libhyps_5.0.0-2+ocaml1_amd64.deb
Checksums-Sha256:
 3e5192c7da35cbb3f0e30ea291a0742a70bfb03152f1b8b0d28d1a07591fdcc3 1199 coq-libhyps_5.0.0-2+ocaml1.dsc
 66cba61abc72690064e5d7d0dd7341e9fa02a36bc82bcaab783e0680c17ced87 47931 coq-libhyps_5.0.0.orig.tar.gz
 c15d90b68ede609bb109143debe2e9c2f88d45071d4d3ab8ca682864788c0c34 2376 coq-libhyps_5.0.0-2+ocaml1.debian.tar.xz
 a8833b60b7f50566d7e152763080515497e5903db149ddf56807862059c89753 6207 coq-libhyps_5.0.0-2+ocaml1_amd64.buildinfo
 7565c9a409af4b4fdd22be47533ff9a1d151d423dd4904dda70fc09ecf83627b 79384 libcoq-libhyps_5.0.0-2+ocaml1_amd64.deb
Files:
 90dc6ef7930a95b7cec2136f8cb61e82 1199 ocaml optional coq-libhyps_5.0.0-2+ocaml1.dsc
 285324dd6a00928fc4c493b526bee9d4 47931 ocaml optional coq-libhyps_5.0.0.orig.tar.gz
 55c15dc91301f40f096c31752f2a4b12 2376 ocaml optional coq-libhyps_5.0.0-2+ocaml1.debian.tar.xz
 d5c921c47f3fb9b0f1d273068038bcf0 6207 ocaml optional coq-libhyps_5.0.0-2+ocaml1_amd64.buildinfo
 93f3d74a477f1adc632cb381abcd52c1 79384 ocaml optional libcoq-libhyps_5.0.0-2+ocaml1_amd64.deb