Format: 1.8
Date: Mon, 07 Sep 2026 20:24:14 +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.1
Checksums-Sha1:
 c9315c1e9a7945af736921adef1242088f38c402 1199 coq-libhyps_5.0.0-2+ocaml1.dsc
 8a9274e7e9fad0e7ee7726465b91e4f74d44ec8f 47931 coq-libhyps_5.0.0.orig.tar.gz
 e516f3c10df776f31d3d1736bc989d12be775b6a 2380 coq-libhyps_5.0.0-2+ocaml1.debian.tar.xz
 0e19eb7192439cfde7a7156b93bd3f70e9b2b653 6113 coq-libhyps_5.0.0-2+ocaml1_amd64.buildinfo
 2e9e1e38dbd6352a91448dd360bfa4786b4b486c 79236 libcoq-libhyps_5.0.0-2+ocaml1_amd64.deb
Checksums-Sha256:
 4357a9e22908021e31cdf6a431b796eb8bd54c43959182fd58fcb70d36bfb319 1199 coq-libhyps_5.0.0-2+ocaml1.dsc
 66cba61abc72690064e5d7d0dd7341e9fa02a36bc82bcaab783e0680c17ced87 47931 coq-libhyps_5.0.0.orig.tar.gz
 5ae6e3c1de0548a37d93eb06c0b10a4322e369a74fa30c0cb31aa6b29b6a0e84 2380 coq-libhyps_5.0.0-2+ocaml1.debian.tar.xz
 59e966557b9936abe3a68539eb8173615d3c5de581b4bc297b2ac8cae2229bd9 6113 coq-libhyps_5.0.0-2+ocaml1_amd64.buildinfo
 1fa24a440189ea7c41305ec1532c94af594fd023f7211828ae75032294a27b58 79236 libcoq-libhyps_5.0.0-2+ocaml1_amd64.deb
Files:
 8c83a64f705d59384b616526a990d328 1199 ocaml optional coq-libhyps_5.0.0-2+ocaml1.dsc
 285324dd6a00928fc4c493b526bee9d4 47931 ocaml optional coq-libhyps_5.0.0.orig.tar.gz
 7a30bc8eb01a5b5587aa4b1b94cfee70 2380 ocaml optional coq-libhyps_5.0.0-2+ocaml1.debian.tar.xz
 cbf97103450d410d6dab08705ce75513 6113 ocaml optional coq-libhyps_5.0.0-2+ocaml1_amd64.buildinfo
 0130cef9600a000775ae12aff4c693ff 79236 ocaml optional libcoq-libhyps_5.0.0-2+ocaml1_amd64.deb