-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: any
Version: 5.0.0-2build3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/Matafou/LibHyps
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-libhyps
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-libhyps.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-libhyps deb ocaml optional arch=any
Checksums-Sha1:
 8a9274e7e9fad0e7ee7726465b91e4f74d44ec8f 47931 coq-libhyps_5.0.0.orig.tar.gz
 f5e07e8a5c1a21ce175eb825b6915d743f8461e9 2412 coq-libhyps_5.0.0-2build3.debian.tar.xz
Checksums-Sha256:
 66cba61abc72690064e5d7d0dd7341e9fa02a36bc82bcaab783e0680c17ced87 47931 coq-libhyps_5.0.0.orig.tar.gz
 2c9f05e7acd6c6afdcdfaff97a3b8b04a8e36df9fe89bb5796aa8956f8b92d1a 2412 coq-libhyps_5.0.0-2build3.debian.tar.xz
Files:
 285324dd6a00928fc4c493b526bee9d4 47931 coq-libhyps_5.0.0.orig.tar.gz
 74aa0ba6ebd808c8cbb3ff3313cf705c 2412 coq-libhyps_5.0.0-2build3.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqT0PYACgkQ808JdE6f
XdlqGxAAp7GJvF15LjcnSxEISorToRa04nIv4HQhuVPd1KaoPXNbo9FGrtfw5Mbi
HqTlDk2FJB+piaTocg1fPgx9LOkhuqQx2EavrkIYOWzfYLYanYjythWothtjJdzh
VxE/IwO8uaTfwEcL4bzgKPIDKNSimu29g5r/xbKHVn2Vyr68qEmSKCv8CSeZdTZh
3pYtf17xRQtF0zpBK7/x9TPZzI4xmkxaGICzHBC9EFakzeBu5Iw3RDFztJc3gOv2
+EtUxakX4u9WgJrUL3Jgqs+W49OIYbuSsvOA3gzvkaavdTot7unmE3VMNDs8jW6R
QYkUr6MI967w+/o4+oPIGznSerYiZKdky4Tl4Rkkr0Fgfo10O6fNmOujs39+SHg5
OEck3q+YTTojNNuBWbxfWw0Glpp0EuiTQkkGNUrrvZ7U4v02DEVfpPNS0u398c7Y
wjclPNroDV2AVm82lfc/R2HE5OtHdpW1qjHk6aZ3pkHN3wnrDTebefyKKGT9WvJh
2zz2aWlqXRp+XMgu9taUbfAKmL8wQZ79Pslwro5cUAstrwqGx3hhWYLkriEKZPlb
mXKV9O47Qn48ykq5TDH/lkRmqh4bZAGM8+OEkVl6NDSV1TwN43PXpMeWiMNNFOql
s+D7eaR49ilNQWtFUqWAxT4EI78yDlHHTKc01iGS++Z+rPJb8SA=
=HMe1
-----END PGP SIGNATURE-----