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

Format: 3.0 (quilt)
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: any
Version: 2.0.6-3
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:
 5301821de901af71826df0fc98a25e982a496f9e 36241 coq-libhyps_2.0.6.orig.tar.gz
 05b2d76eea9e7150e94a84967a5e57bfeb1ba440 1944 coq-libhyps_2.0.6-3.debian.tar.xz
Checksums-Sha256:
 ca0cb2fca2f839007e9b7b47d635ac19ae55f08af6883cecf9f1ffcca2896d4e 36241 coq-libhyps_2.0.6.orig.tar.gz
 640684e3303d7565e1b88a67f43a80c6cbd8f07543dfaa155787932d2b339c63 1944 coq-libhyps_2.0.6-3.debian.tar.xz
Files:
 9aecf3f2e2a19b58ad130d6895731342 36241 coq-libhyps_2.0.6.orig.tar.gz
 9d4718255f9503e2a4d0a2e35933e9dc 1944 coq-libhyps_2.0.6-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVpgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRSeIP/jHBtAF/2Y6xldGKuzZMgsFp/3OtfR3O
0x/aMaNv6zvl2GtY8SHo4NQ/L70IdN55NZITt/OGDUNuJdHPVobalZ6uuGZ98arK
guTHLDvK84RwuihadNvAgfkPvvUsSZs/2SzX2aNIEWsCguXWs7kGw2+/+L/XofLu
NeaMXUFY9zdqK3qlR/INgNb6aQvZK79l7jFrKSHM/5qWIIHX95YcHSMDS2Jrna76
ibzGkomUHSzV1N27oDWuQDx9/cf+3emswy3Yu21daxkjR0eqEo+OGHLZWdkCSkA8
JsH+tap/w4B+LqHED3q6DnM3NpPKNfo7rmfMd2tuhxs3aAJs9NK2sUztjzOYMzZ9
hq8twcwriByB1FqfeKR58G4QgXp+CYQHV6hq8icQwLDm6hUUU6BpBbCE57OPsRil
5KyKAsmNDIrr7yKih/J7g6BcrG3okgTp+wOzWzZWm6byP0e+K4OUPK2s7qR99J70
lClbQAwjTOC+Mrj8elNronGX91lhdbZt3Tc+HyPDktlHeboaJaSFbV/hWl3EshbQ
R2FFrHBVTW9RN0IQu2SFmOGl3wHTPR9wTI18Q9ardC/Znb+rURTo9Gjpupff6qjg
bq255AvQjwpBjG9mpul1Xk3bCyTuRigiUBERL0T7VmDHFFAECczC4KlAcRhZKu8Q
jgnmch5L1D/e
=5gLg
-----END PGP SIGNATURE-----