Format: 1.8
Date: Sat, 25 Apr 2026 08:46:39 +0200
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: source amd64
Version: 2.0.8-4+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 (2.0.8-4+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 cc262a6ae61865a4e289fbd893a2d084b85b0a49 1192 coq-libhyps_2.0.8-4+ocaml1.dsc
 f76fddba5e33d6c43ce07a437f9916fecfc41a08 37247 coq-libhyps_2.0.8.orig.tar.gz
 16f8ced3605c400e17e29b675ab76a202dd5288b 2280 coq-libhyps_2.0.8-4+ocaml1.debian.tar.xz
 b5a087cf02f355508f7b04d9f144361c7f41d753 6196 coq-libhyps_2.0.8-4+ocaml1_amd64.buildinfo
 91c53ee16a9a1c3a3a3c961c2d20a0f690845acd 63064 libcoq-libhyps_2.0.8-4+ocaml1_amd64.deb
Checksums-Sha256:
 999ead3630f046d8128c5f1a7223d8509153174c7e4b9d5d7b7a5aeaf587616c 1192 coq-libhyps_2.0.8-4+ocaml1.dsc
 e4dcdf15cffa0239b3dfbd56b7223f3ae9ac9731547d5c03ada150e5b49860a2 37247 coq-libhyps_2.0.8.orig.tar.gz
 3ecfe9006354987f3042e7106f753cabdefb437f8b81d0dbaca01553696247d8 2280 coq-libhyps_2.0.8-4+ocaml1.debian.tar.xz
 f77b00de27bb8700e39bfbbee64f3f0dda5234694b55a8a5f8db2ba158ce4448 6196 coq-libhyps_2.0.8-4+ocaml1_amd64.buildinfo
 0215575827f32ac2a51136c26868eb9b480253ef0a32aedaa9d2f74fa9c86259 63064 libcoq-libhyps_2.0.8-4+ocaml1_amd64.deb
Files:
 8ebeb03d9205253cc43f04b76e3192fe 1192 ocaml optional coq-libhyps_2.0.8-4+ocaml1.dsc
 ca5263992fcd5f55211991f55a2d3c73 37247 ocaml optional coq-libhyps_2.0.8.orig.tar.gz
 3ff8897b134faf6e4dccb0ce62355d50 2280 ocaml optional coq-libhyps_2.0.8-4+ocaml1.debian.tar.xz
 23d7b4ba49fa576d5709b8e861af5d24 6196 ocaml optional coq-libhyps_2.0.8-4+ocaml1_amd64.buildinfo
 8f1cb260ac1220b7f5b3c47a2351f250 63064 ocaml optional libcoq-libhyps_2.0.8-4+ocaml1_amd64.deb