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

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3-4
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.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/paramcoq
Vcs-Git: https://salsa.debian.org/ocaml-team/paramcoq.git
Testsuite: autopkgtest
Build-Depends: coq, debhelper-compat (= 13), dh-ocaml, libcoq-ocaml-dev
Package-List:
 libcoq-paramcoq deb ocaml optional arch=any
Checksums-Sha1:
 5f36c83b4a730b073c080e995ec7fd089a8166ee 45726 paramcoq_1.1.3.orig.tar.gz
 d99aa5c8fb48e0d52de9f2048698311c8a0a49ab 2648 paramcoq_1.1.3-4.debian.tar.xz
Checksums-Sha256:
 235e1490f18b2985fd113b9bf17e33bf8b073360e13177c81f0e4879888420fc 45726 paramcoq_1.1.3.orig.tar.gz
 6f34a467974454a1b4f23cbdf8faca9c116e54b995eddeb9d47919b51c9df3ef 2648 paramcoq_1.1.3-4.debian.tar.xz
Files:
 d7ed4aab639d1670312b721bd82b0eec 45726 paramcoq_1.1.3.orig.tar.gz
 89faf2c67fc06357cc69b7cf47c8a329 2648 paramcoq_1.1.3-4.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKXZ+4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRnPYP/RKbow8EwU3EtEpYAuBNEmhhfoYwxzLd
l1KxmSjW8j3kHclc/83tpRehM2u6xXocdg+khGVz9GTDuwks7yxoaZfc6rLJDdx2
yEeAFhsP6cyAWb7vhGf+S8vRpw3fEUtVizp+ofhChNtsKLN0h4L0lboF5CzYc8J7
CKV+R/ikTzqR8vKyXalV/UisCVr5cMVY2Jw82dBEpLmL6W12qf/nig+7os0EAGsw
djFyK6Zgz1USEaYL8DDugiHuBvOK4OZ63JQaE/32rg4OvP/H3DfxiQGiwBrrJ5+o
9qlRBt8g1J+hgg9z8IomEhkoMqxOb0wuYb5HDMiP4/X2WzQ+1UwKs8Ph+JgX1aHv
/lNSV4x+WyAcdCiA6Jho656/KLEjkqJZBtP/KGvOchbG80qgSCR1x2tnNI5riePW
Pn6Qmz5YDJ3ULrwk2wLxMKTQxqwFIIP1tZKzWCl+qnHQ3iMjti7Q3kLF3P3UZR8v
eTEmZr2plRuxDCteSfB00mGhHpGkXXn64YAbVBBvstZshmszdZ2klqSdRNyl527T
kGtWugYjjdDFX2ZrjKdtSgzdt5WespFs6WvV2KdcMbnVTiVCdUkqLKr7Fh1CpDrW
N8ybZnMw36WCq2veKOB8H27yozhJzR0GGJ7Aqs+nw8aP0uM27msYOBccNQXAfxj7
2vtzOWTDSOok
=OuOt
-----END PGP SIGNATURE-----