From foo@bar  Sun Jul 26 00:20:01 2026
Format: 1.8
Date: Sat, 03 Aug 2024 17:32:53 +0200
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: powerpc
Version: 2.0.8-4
Distribution: sid
Urgency: medium
Maintainer: ppc64 / powerpc Build Daemon (debian-project-be-2) <debian-project-be-2@debian-project-be-2.buildd.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
 libcoq-libhyps - Tactics on hypotheses in Coq
Changes:
 coq-libhyps (2.0.8-4) unstable; urgency=medium
 .
   * Team upload
   * Do not hardcode /usr/lib/ocaml
Checksums-Sha1:
 0a08163b801734c76999aec64ea50d9301f7fb89 6610 coq-libhyps_2.0.8-4_powerpc.buildinfo
 f4078f13d26c2aa33d227f50adc1d649d1783274 63044 libcoq-libhyps_2.0.8-4_powerpc.deb
Checksums-Sha256:
 3a0c997e85c9f21914432a78c5cf85a18b878807f324815a3a0d0c5a202da4a8 6610 coq-libhyps_2.0.8-4_powerpc.buildinfo
 0d3b05d6754d9b938c9ca9bca441adf7bdfe3e1d1918ad785e410af877bcb147 63044 libcoq-libhyps_2.0.8-4_powerpc.deb
Files:
 5bfe2b8f34c5dc589063b182914cf3a5 6610 ocaml optional coq-libhyps_2.0.8-4_powerpc.buildinfo
 4ca277f91a490025ec222980a348cef0 63044 ocaml optional libcoq-libhyps_2.0.8-4_powerpc.deb
Signed-By: Debian buildd autosigning key for debian-project-be-2 <buildd_ppc64-debian-project-be-2@buildd.debian.org>