Format: 1.8
Date: Tue, 11 Aug 2026 11:26:14 +0200
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: source amd64
Version: 5.0.0-2+ocaml1
Distribution: trixie-backports-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) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 07f0ea1798e9b1606d160467d11cae5ff1113233 1199 coq-libhyps_5.0.0-2+ocaml1.dsc
 8a9274e7e9fad0e7ee7726465b91e4f74d44ec8f 47931 coq-libhyps_5.0.0.orig.tar.gz
 e06e9a3b0b19ffd4bd522199ec64c4ea067453c8 2384 coq-libhyps_5.0.0-2+ocaml1.debian.tar.xz
 e0cea85ab7f1d60cddd62b71dbd4ea5eb5a39f7a 6386 coq-libhyps_5.0.0-2+ocaml1_amd64.buildinfo
 477192591da28d3007117903c216c54a95e5fa03 79320 libcoq-libhyps_5.0.0-2+ocaml1_amd64.deb
Checksums-Sha256:
 ad84aa89fab5d0a0bd4356f383bb19ca6402e0f199c8ee0f5733c209cf1a6af3 1199 coq-libhyps_5.0.0-2+ocaml1.dsc
 66cba61abc72690064e5d7d0dd7341e9fa02a36bc82bcaab783e0680c17ced87 47931 coq-libhyps_5.0.0.orig.tar.gz
 f4be0131e5cc5b7629bb5e454394ea6486de905912c9de8b7903964471b2dd82 2384 coq-libhyps_5.0.0-2+ocaml1.debian.tar.xz
 8eae5893d9ebf4bf3522d45b765f02e89714bdcc7ded8e1e94d8cc085bfcbe73 6386 coq-libhyps_5.0.0-2+ocaml1_amd64.buildinfo
 fe36206c9f9813dedfa7ec48822742e3b3110671c5f6c27d3f724c415138761b 79320 libcoq-libhyps_5.0.0-2+ocaml1_amd64.deb
Files:
 354f681ecf7cfb447c0dc3dc87e068cd 1199 ocaml optional coq-libhyps_5.0.0-2+ocaml1.dsc
 285324dd6a00928fc4c493b526bee9d4 47931 ocaml optional coq-libhyps_5.0.0.orig.tar.gz
 48f03c0538eaaba89dfbf840e5f5f97f 2384 ocaml optional coq-libhyps_5.0.0-2+ocaml1.debian.tar.xz
 c761f0df2ef3d745b5b25504f8465187 6386 ocaml optional coq-libhyps_5.0.0-2+ocaml1_amd64.buildinfo
 e1bc65947ad5526d1511f35170d6b949 79320 ocaml optional libcoq-libhyps_5.0.0-2+ocaml1_amd64.deb