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

Format: 3.0 (quilt)
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: any
Version: 2.0.8-6
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.7.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 (>= 9), 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
 dbc935905fad0430d167795f555cff2de64b581e 2348 coq-libhyps_2.0.8-6.debian.tar.xz
Checksums-Sha256:
 e4dcdf15cffa0239b3dfbd56b7223f3ae9ac9731547d5c03ada150e5b49860a2 37247 coq-libhyps_2.0.8.orig.tar.gz
 2af35d01efcf55e68ebea60f34b4167d54aa67824b6e008d722d22194dab14db 2348 coq-libhyps_2.0.8-6.debian.tar.xz
Files:
 ca5263992fcd5f55211991f55a2d3c73 37247 coq-libhyps_2.0.8.orig.tar.gz
 2d52b14509e2ec6fe3f04ea2a3c04bdb 2348 coq-libhyps_2.0.8-6.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTc10ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUSWnD/0baconwUaiFX+2MVx8OlW/
oTPcu66V2cqKdKLDLpWWWUcY6BaxjmTvzarqtt5sFJfXOUlLNRJj5NI5MIvdENVm
PaQtOr50u3uHLB4HvxuI2NxmVL9u6tChyYiGiczEzER4CwGV4nl/UgJQakB8TOcr
4TBkRdbvPNTs2+seR399SvRP0n4143n0ZTHdE4jwAt3A7M9nZhNNBAug1RzzogST
0You/qeCRK9qGCabEIqiUKAwDYYwUH/UOF6/tCMFtSmxRLKlGDMl9017uoYUK3GC
pD1gE5RB/M/ktZstlHvqgxqHOpi0u39XEZkth2YnII8rEg70Jbbj0vlaQXkbIRT7
et1uSGjPChzOPO2k8P/g3Aq4p4/QWh+IalrFR/w87YKD0jIR796SB0k96kr8TNbB
/VN42VxFM34cRCTlIxvHT61olXJ74RkNsGKPYuBh5zpZTZ9/qbXbCja0+Pgxx+9Q
6RYAWN3DsTICTsNB/TGR1NQRhtis2S+Vw/TN1K7h4M74FX1/xv+J4QeNeWwAOhHO
Ot319YRlGKmRot1LkAQOow8hEbwHsNcm/sphBd81JfJxgomFrynmtJmLPIIC95uy
GkFq+VFuN9NakESFBQmsL4DIH0AUhtQo7gddePsKIaYe0JD/J18WnhWJiCO6Q7lZ
jz6o943cbEGYfQk9dCXaPQ==
=NaJL
-----END PGP SIGNATURE-----