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

Format: 3.0 (quilt)
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: any
Version: 2.0.6-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.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-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
 9ebcf6c75d7c087322704e5585a95dc5088daf8f 1860 coq-libhyps_2.0.6-1.debian.tar.xz
Checksums-Sha256:
 ca0cb2fca2f839007e9b7b47d635ac19ae55f08af6883cecf9f1ffcca2896d4e 36241 coq-libhyps_2.0.6.orig.tar.gz
 a4b0c4286a3c2b92f2249ce84be7c5b33b1b2421bb402f4508c7580d5ca11d79 1860 coq-libhyps_2.0.6-1.debian.tar.xz
Files:
 9aecf3f2e2a19b58ad130d6895731342 36241 coq-libhyps_2.0.6.orig.tar.gz
 d76c4dd997171a20cf41761bb96fb52d 1860 coq-libhyps_2.0.6-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMtwRwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRsG0P/0ECYK1GXleNL+BogvU9I3qs2QBUemKX
rgfnSAiDwFp3Rmw2toIsVZi8O/ar+dwKCszIQkYuDRoFhKiDALQyUf0rTxl4vEOr
wkx4wxAypz4NVjHSWRW/7JP3hkBVjwNlAizpTQ0/ZN+4CsZ5AUMiVZk7H6Q2m0ml
YZsdUjOgAlbz365LMsxV2935POCij2b3rxespunJ1A7puUL37nhGaoQGrDJt/Xk+
F3Pelg9+gzZN2uojJliPtef6vAeHZbMmXo45njnYkKTqU/+lCuP2ozpe51HXAHRh
JSoDsbWMYo7cJ4yy+5EfOurMB4wvu/amVXse0kvCNxWNlQVx8pmTfH168OLSGzMu
MRAudpCCY4Wpwkw9qaIhLnK4O8ZBi2BoFV/Ix86b362coBg9+g1q4zsyef/UDreI
t+O2/iFy6OiNhVUigB1xTE5PRtQIupxgc6Q6Bsa+aijjAXcrae7M5ianouFG1hcA
ftA860u5SSvU/eYc0mxTFoSYltrosunWSXLrTqBHAu/yKOxAvGmAKuQ9Uz4FemBQ
ctPZHQncWXBCm0EdmOUOmAav/km83mV6/w72abze9jRBOTkSne3ZBOgwkOnzKMv+
ys817QfArNVlmmzXhVU5z/LCrIFgDmwb3RuwBkTz0hONQwnahCFrZlbyl7yyhGDj
I+F/eY2m2Q57
=lSSL
-----END PGP SIGNATURE-----