Format: 1.8
Date: Sat, 25 Apr 2026 04:02:00 +0200
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: source amd64
Version: 2.0.8-4+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 (2.0.8-4+ocaml1) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 782fec44fd5fd24a41e082613e9c0f752110fbe7 1192 coq-libhyps_2.0.8-4+ocaml1.dsc
 f76fddba5e33d6c43ce07a437f9916fecfc41a08 37247 coq-libhyps_2.0.8.orig.tar.gz
 27b7587e9503ef6d7e5e3444155d3b715652e0c6 2288 coq-libhyps_2.0.8-4+ocaml1.debian.tar.xz
 25d020a295fc18e4f8be68d263cc53b69916f3f0 6257 coq-libhyps_2.0.8-4+ocaml1_amd64.buildinfo
 f992d841358ed58045590636374858368ac7c05d 63104 libcoq-libhyps_2.0.8-4+ocaml1_amd64.deb
Checksums-Sha256:
 3d95e768fcb514d29bf3c363b6e501ad5147c637f80f808adb9550d9048cbdf3 1192 coq-libhyps_2.0.8-4+ocaml1.dsc
 e4dcdf15cffa0239b3dfbd56b7223f3ae9ac9731547d5c03ada150e5b49860a2 37247 coq-libhyps_2.0.8.orig.tar.gz
 34fb6097fefe58b1e7f79f447845dc2dd2cb29bd9873627c7654c99b91abc9f5 2288 coq-libhyps_2.0.8-4+ocaml1.debian.tar.xz
 9055875eb877bbcf48d77edb119631957c3cb39ba6d6fadf911a31fd9861abe8 6257 coq-libhyps_2.0.8-4+ocaml1_amd64.buildinfo
 1fefd06decbe159683408d6df8310b0339c1cba995fe5fe638b167bb5bdf01e5 63104 libcoq-libhyps_2.0.8-4+ocaml1_amd64.deb
Files:
 569ac3e356f6af935197cb10c0e47ac4 1192 ocaml optional coq-libhyps_2.0.8-4+ocaml1.dsc
 ca5263992fcd5f55211991f55a2d3c73 37247 ocaml optional coq-libhyps_2.0.8.orig.tar.gz
 cbcaa6491b57db9104209bf3c4c3a55c 2288 ocaml optional coq-libhyps_2.0.8-4+ocaml1.debian.tar.xz
 f742c300b5f10d365f6e08c6942c2d4d 6257 ocaml optional coq-libhyps_2.0.8-4+ocaml1_amd64.buildinfo
 b8d6ba1c04c093b6337668793421efe7 63104 ocaml optional libcoq-libhyps_2.0.8-4+ocaml1_amd64.deb