-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: any
Version: 2.0.6-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.6.1
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, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-libhyps deb ocaml optional arch=any
Checksums-Sha1:
 5301821de901af71826df0fc98a25e982a496f9e 36241 coq-libhyps_2.0.6.orig.tar.gz
 6ee58c5b79bd5c67d5268f2c07d89a398062d9c0 1988 coq-libhyps_2.0.6-2build1.debian.tar.xz
Checksums-Sha256:
 ca0cb2fca2f839007e9b7b47d635ac19ae55f08af6883cecf9f1ffcca2896d4e 36241 coq-libhyps_2.0.6.orig.tar.gz
 6d230afd69375ad7e2bd5127485b66a3492b67ea5b7e496bfa375a3c5023ce78 1988 coq-libhyps_2.0.6-2build1.debian.tar.xz
Files:
 9aecf3f2e2a19b58ad130d6895731342 36241 coq-libhyps_2.0.6.orig.tar.gz
 5b62e2ec86408a113f869ec546a65c16 1988 coq-libhyps_2.0.6-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPSeXoACgkQ808JdE6f
Xdm8Pw//VOIpuik45SX+xAr9bUqjI8YKlQQ/IYkW3KKjTKZu5VTz07NT5JjVchi1
6KYpmVLiSiGHNPa8TWPVm4EA8JXWiCbmTYu8IX5HhfnvnKt7zXbrzN7DGo/lkCEZ
cDdDPukkEa+hzn7zwu7BhDZchgUj/aatrtVrlR2HQPNlwrN2A3g4b5xfRGebg1x9
PDGC3rHBZLZQF0baLeIK9QDjuifBDwLwX+uwoaG4RI5y9LwbdwREt6BIkXmdVtVj
2l14T+btZfLsE+CJUO+/ErgiZIHhHAewWg7xve4MC7I7v4oifK/obAi4zdG1JbqE
1088VxV4GKqsal/mIok3TsIUHkLrr44mhb/4spA+HPB8TcN+fHjPcQ7SgHQciq1A
ySlJY2ggYCUeuGC1mq5iu1UJ7I/js8nE2BVwzGCjFgnSRv+LRGc2g6+xajZ/Ssfx
0pU9LNoPIO96Bc8pLOCKXC5+AkXKn31Y3bn/cW0HPVdr1/BSh0ruWaNyZwTPef8Y
MSLfXwhy0tvafiP1atECu8U4VHS5Ztiog4pdMDXRdIBp7928PyaF9BdWiJsLtKuI
9AgdCzdrftdoAsRK2LmE9LETytw7Whuttn0X1FnhNeUo7LqbI/7BPoEFjY6c2jz/
dHqbjewJK6xGxyXGD7KBgMzlwqYBSRGVG7H5rtNaVZKDYTVgy5I=
=DjWb
-----END PGP SIGNATURE-----