Format: 1.8
Date: Fri, 06 Nov 2026 23:42:04 +0100
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:
 00e03335ebd69c355fd5d4efccf2dd502b1759e1 1199 coq-libhyps_5.0.0-2+ocaml1.dsc
 8a9274e7e9fad0e7ee7726465b91e4f74d44ec8f 47931 coq-libhyps_5.0.0.orig.tar.gz
 9e250a6808cf0c6b6a402ecc24155d97cd441e15 2380 coq-libhyps_5.0.0-2+ocaml1.debian.tar.xz
 9a145ab4c055ed17ad0db6af774fa625848fd77f 6261 coq-libhyps_5.0.0-2+ocaml1_amd64.buildinfo
 bc3a66fae71fdb19a763a9a1867dcf95ca16525b 79324 libcoq-libhyps_5.0.0-2+ocaml1_amd64.deb
Checksums-Sha256:
 889a6da400d9857b27ed9132b331c5267e94303b9e9fdb1f39edaca0234f5006 1199 coq-libhyps_5.0.0-2+ocaml1.dsc
 66cba61abc72690064e5d7d0dd7341e9fa02a36bc82bcaab783e0680c17ced87 47931 coq-libhyps_5.0.0.orig.tar.gz
 c91e1cc1dbd5b219e5f3517cfab9810c67f1f65b3682517c16e0eaadc92ea47d 2380 coq-libhyps_5.0.0-2+ocaml1.debian.tar.xz
 042e9522d067232114023c4f8b0065e38684ea749c2db43e7416cdce8d7baf7c 6261 coq-libhyps_5.0.0-2+ocaml1_amd64.buildinfo
 e38e9e64bad2b85647be36b45be3c7cf84345f108e8597811a0de3ae5b334b49 79324 libcoq-libhyps_5.0.0-2+ocaml1_amd64.deb
Files:
 e6a08c24e8029a3b509b5da572a22fde 1199 ocaml optional coq-libhyps_5.0.0-2+ocaml1.dsc
 285324dd6a00928fc4c493b526bee9d4 47931 ocaml optional coq-libhyps_5.0.0.orig.tar.gz
 955fc369fdfe23fd7629bf0f85831da2 2380 ocaml optional coq-libhyps_5.0.0-2+ocaml1.debian.tar.xz
 543eaf5ab5911278c9af686292c21c6b 6261 ocaml optional coq-libhyps_5.0.0-2+ocaml1_amd64.buildinfo
 9844c79f4edac633d3eba289b3874bc2 79324 ocaml optional libcoq-libhyps_5.0.0-2+ocaml1_amd64.deb