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

Format: 3.0 (quilt)
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: any
Version: 2.0.6-2
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
 30bd58cb605223f91827d07b95afde8520082414 1916 coq-libhyps_2.0.6-2.debian.tar.xz
Checksums-Sha256:
 ca0cb2fca2f839007e9b7b47d635ac19ae55f08af6883cecf9f1ffcca2896d4e 36241 coq-libhyps_2.0.6.orig.tar.gz
 a64794b940c5d2887231f8bc4c140564c0403c0392465fb78e4a0f691cf92d45 1916 coq-libhyps_2.0.6-2.debian.tar.xz
Files:
 9aecf3f2e2a19b58ad130d6895731342 36241 coq-libhyps_2.0.6.orig.tar.gz
 3af42417a0ab03991e5a2de71fed2812 1916 coq-libhyps_2.0.6-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ1NgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRHnoP/R1yrX+1CHZcRrLeR4PjyC1c6ylNi7Rd
Zgukfuv9/eShjb5+0xRU+sWIDZgpmPSC5YUQpzDe9MTJo333u/1pN9EyNPLxWtgk
x8MivpETq2YxpIc+qVFF7gLymOqzDjguYBnGnON0ywh4JmQAk1W4WGo4ZBrOuyaW
CLKWxhE7OKVuPbMsnUHUUEfPM01LT2ZG8iKvIT20OCQHNjQvD9H+mz9n2ZUPN8xH
SFiFTlXqtlf1/AcXgKwRrYL0sDR5pvoHZmcFYigfDP5zhxh+QEDdWEVAVcJEkFph
tIoyfuquf0flSOZ8ZhGhi+Ygw83CQ1WK9p0atpG6KJypVP/ZDefhfoMOUShUofSe
hcrzbnpJBgx3OgeLoA8LgAns07iw3bwimpgfnqt3fx9Z8YGkLtPOQFuDOBr/dv8+
PgCXJIgSARzcMoGAHTzGrjCNoH7Z2zCVQZxOvhJoXQ0eZn6QK3o9ygJcuPZWc0l9
lO7KX5B2xGtwIl4F/bCDi26FfVLm1DGnHk/QRf5MsguUY5E57A0CqQkQaQTV8/ly
whqKwOk3NxfBJtX7DyGrbtArnEReEs5gi0/08imbagc3Wsk+RAg8t2DKrdWyr9Un
3iFxnvS0G51EZe3BJJ4n7/TqQagS2BzOvb9CqeyCnV5nkAJg/KM8s434eDVQpiGK
WtV53sQTUBgV
=7PV2
-----END PGP SIGNATURE-----