Format: 1.8
Date: Wed, 11 Nov 2026 14:36:35 +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:
 638f4e567cc440976564dad99925da28b1ece498 1199 coq-libhyps_5.0.0-2+ocaml1.dsc
 8a9274e7e9fad0e7ee7726465b91e4f74d44ec8f 47931 coq-libhyps_5.0.0.orig.tar.gz
 bdb9abc502d328f737092d505bd59ade245d8ed8 2380 coq-libhyps_5.0.0-2+ocaml1.debian.tar.xz
 131b313961fae99d853d861253cdac1ae04feec2 6264 coq-libhyps_5.0.0-2+ocaml1_amd64.buildinfo
 692f95c705d4480c8e0322077a99d5e12aad32be 79352 libcoq-libhyps_5.0.0-2+ocaml1_amd64.deb
Checksums-Sha256:
 a375f7f33dd66d2c734422614bf8ace63426bd6bbbb8ec51611e0ebb992fb99d 1199 coq-libhyps_5.0.0-2+ocaml1.dsc
 66cba61abc72690064e5d7d0dd7341e9fa02a36bc82bcaab783e0680c17ced87 47931 coq-libhyps_5.0.0.orig.tar.gz
 d7be6786141de47241f67423f9651bb747ff5801a470813e233dde10130ac00d 2380 coq-libhyps_5.0.0-2+ocaml1.debian.tar.xz
 c8dccb2b8cac4eaa1b6e9abca8c20a2a42e813ecbc4f2168687e9658f8a88238 6264 coq-libhyps_5.0.0-2+ocaml1_amd64.buildinfo
 14405d5a55130c45bfe8cc56e7a65555f6e532836fb2049ee857c846df93e83d 79352 libcoq-libhyps_5.0.0-2+ocaml1_amd64.deb
Files:
 2fb9b9bcdbd22e1e72f88d94c70ca066 1199 ocaml optional coq-libhyps_5.0.0-2+ocaml1.dsc
 285324dd6a00928fc4c493b526bee9d4 47931 ocaml optional coq-libhyps_5.0.0.orig.tar.gz
 ad1192173caf1e421d8709a4954b497f 2380 ocaml optional coq-libhyps_5.0.0-2+ocaml1.debian.tar.xz
 6230cebcf7dcc7c09094e8d038e866fa 6264 ocaml optional coq-libhyps_5.0.0-2+ocaml1_amd64.buildinfo
 48e58a02adf1fdae0870685d9b99ddbe 79352 ocaml optional libcoq-libhyps_5.0.0-2+ocaml1_amd64.deb