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

Format: 3.0 (quilt)
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: any
Version: 2.0.8-1
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.2
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:
 f76fddba5e33d6c43ce07a437f9916fecfc41a08 37247 coq-libhyps_2.0.8.orig.tar.gz
 d0b419aa87c3fcfc9be7b66fb23b7686bf367f8e 2080 coq-libhyps_2.0.8-1.debian.tar.xz
Checksums-Sha256:
 e4dcdf15cffa0239b3dfbd56b7223f3ae9ac9731547d5c03ada150e5b49860a2 37247 coq-libhyps_2.0.8.orig.tar.gz
 4b40558f6b690e543b3cfc158cc4cf8af0d88249c23dcc14b808105f8a7a4551 2080 coq-libhyps_2.0.8-1.debian.tar.xz
Files:
 ca5263992fcd5f55211991f55a2d3c73 37247 coq-libhyps_2.0.8.orig.tar.gz
 619bc147226ede968c2b3b5b899f570c 2080 coq-libhyps_2.0.8-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWETlsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRNQYP+wRe4X/IFvl4K6V9sCRG9lj3eVUg8RQa
NahU2SYV9AUc2snEPIijM6VZBeBng1qqK4GVcZNpC9Pr+q6LuyuG6sXnZyHMdBWR
xjmIgZDn8+UkdBY9Jrp49UH41byJpu+9e1iFeMqOv1sRFTo5TCXycO7+NKP9GO4K
XxoS1h5sirG1D8bxbBS1YpW7BdB1sxtAo5F8/tSOFWZwBGpeMHuM/q5Ipghnidhz
xYTmBBygLJNW2Qwky93JlXabGwIjyGpJ9XAy71COUQ/zG0g1Zt+E25QJMriIwZZR
zH3rhSN3YVbrN4lJFeCLJAHOKb9aHPvLuBwvwVvZCxYBTThNFQy5R5TtdDTiQjGN
D4kr8gYMTbQPWonfpPjQdJY2Fk290S1DD3L/snoiKFklgI+eNx7egZZxp/rdHGvA
dKhoGNO19MkxhubzpA0rntRL55tDChRTNdO3C/qoEVgTh9hABXWsI8cHOE7WQsgg
cCkRHtOqPJm68ClwdZsBPSTjhPLz/VKd7KYVRBJTIiR6cgMQFGriQqHFm31Ptq32
3favkuDI5HfefQgzZK5owIa15uP83ExNVZGVALElLrMcp7S5pyYyw+Ui10eR35sV
7q4pwJbWCykhO3NSA6YgYzH9mBM05kXuv2g07O9m7KZ03x6JNnCW6xcAnrn5AujV
c+okdEfU/jkP
=o1d0
-----END PGP SIGNATURE-----