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

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3+coq8.20-1build8
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/paramcoq/
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/paramcoq
Vcs-Git: https://salsa.debian.org/ocaml-team/paramcoq.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-paramcoq deb ocaml optional arch=any
Checksums-Sha1:
 7cb4a466dcac4087e23f0fa729eda1717e987df4 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 1a98e319ce74ebb9173d4d3726a551b259a7bbb7 3520 paramcoq_1.1.3+coq8.20-1build8.debian.tar.xz
Checksums-Sha256:
 e785e5ec89f83d986c66f83f4d2d892c61741ff7c9264e98d4a8059a9bacf6e1 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 7af16ded0cebc4313485a78966a82dfb1b9c6f0dc254d1e24fc063a249415554 3520 paramcoq_1.1.3+coq8.20-1build8.debian.tar.xz
Files:
 917fcdc199ded6847ed0425a92876c27 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 554e61129b0d704e22a1309cf3c64f15 3520 paramcoq_1.1.3+coq8.20-1build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpOYmcACgkQ808JdE6f
XdlrexAAjRZCSn1VNdWsurHcC0t8Xh9gUgEjZExAbkjQ6zV86QMY8AtXf24gr/or
bdKlPfVMVH0JUr39yzKBe/XpwQhh6KEOIMRtgX0GbMFZY2IKdbFJQT6i9ASqx1F9
jKw576UfkSv45Ikhvh+5zmbnfS7EgC42ttalSPzKTBxig6ewhhFHUmj6kDRpOXgM
LI4ZPC1W80D+ZXQGm7XddbzCRBNiSf4uM95+NV4eSZXEaQ5le/bVA/XEXw8+iqDs
oTTS9NkNKTUiK6YEMJWhxxaVTugT6ZZT47iBofRxyHDFl2Jc8Xi6rnuPFSAcBLoS
JVxyoRsFwUjMBxQTtuT8NySCGxtQm0WxqpXmfxzwVXGxyLn4OgtYktDVd+wXg3TW
OLSAWdEM+SJ5bu1aXuEDs3yOh25oom8M6xN1U++up5i7tK73f7MVFHLeq2jxfAZK
iE2O6J74fdKbtBnaPg9raFyZ3F9KeaE3+Xd14mgiSXgEI4nLpUTguRGGRwlhv0gp
HY0puqeG0GwSQbMN2FbG40msEKbOWRoI2pNiyM4ovL19hCoNCiFZ+fOGQov6YZYk
Af/Gu0iPvTRZgc/Zf8DBPdgzlliF/Z9unWO9CBJoaogklG8Nrc4H0tM6w/KRaKnT
u9cyCiHVp0Gk7dkzExgFioFvIUH6NaqHLryZvouczBVK7wJ1Upc=
=sB8f
-----END PGP SIGNATURE-----