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

Format: 3.0 (quilt)
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: any
Version: 5.0.0-2build1
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
 78402f5d0cfed941a46edd663215b1aa2c96d810 2388 coq-libhyps_5.0.0-2build1.debian.tar.xz
Checksums-Sha256:
 66cba61abc72690064e5d7d0dd7341e9fa02a36bc82bcaab783e0680c17ced87 47931 coq-libhyps_5.0.0.orig.tar.gz
 c1fc88cb3da8c7bc2c7d998e0d293e473f91e9ea0debf928651b7cf19db7c56e 2388 coq-libhyps_5.0.0-2build1.debian.tar.xz
Files:
 285324dd6a00928fc4c493b526bee9d4 47931 coq-libhyps_5.0.0.orig.tar.gz
 b34e33d06d280a1d662732d26dd58a41 2388 coq-libhyps_5.0.0-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqPDLIACgkQ808JdE6f
Xdk9vxAAxR4qQndVknh6/t71uVSA1yWv+/20SxMxMRdU5JhmqS9BgRf96Jf791UY
ztbtcFhVNgbw2539AqFKAkqFI3DjB6DJW1lZzAJ5l2Jj5v21ud/vtp+Vk/cdEH7D
E1qGmcv5o/3RahyNIBLCGupMYoxj4D/P7TAf8hWe4bEWXVJTHSfyCOmfd848JcJc
dbWSloIsZvmKlnvUhoWhuXqYpKG/rbYyTfEprvUMBjH5lzNVeFPVLvmA2EWu8hh5
OsrrC2KkMz70ftGnaIzpkyuoizf7IG6nnCIxvb0AOfAAweU50swzdED0xyvm99Ua
ptlN+rqqxcE3wXB84L7dx6V3m93wdrsYrk4SFj/pCv2BxCuih2kIUag2hdrs+8tc
RuAdNcVJrlceAHeSxlolv4g6TPUfLFJ6dktfS0qFR436Fqdt2uNvzThRPnC17jk1
91cslsPrbmM7YL4a8brwt7H31b7/curjsDzW+tEyrSIHDKEQfP8obOPe7n780BY6
Hn78QrM8SqXuqYEPv9jKTXk/3onx9XL6HlCQNM0VDf5UN9sWKJuPXSviDuN0G2WZ
ld6zGmZEyc/7dyhvPrNVxCEHhLrhOTiEw6LorkGz+XC/knSi3qcxgtNnUtHaQwb4
hy8rLE4i0mWvLMmME/9BGxlzJ3qS8UPPUv04NHmsR+OWr9CC+9o=
=J5cI
-----END PGP SIGNATURE-----