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

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3-1
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.0
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
 deaba6e466e10e9a8b9f5167dcd6a8aca7eca076 2544 paramcoq_1.1.3-1.debian.tar.xz
Checksums-Sha256:
 235e1490f18b2985fd113b9bf17e33bf8b073360e13177c81f0e4879888420fc 45726 paramcoq_1.1.3.orig.tar.gz
 476902d4365efd9438ce5e9fc287e449ee537a680be87a11e41d875c229b272c 2544 paramcoq_1.1.3-1.debian.tar.xz
Files:
 d7ed4aab639d1670312b721bd82b0eec 45726 paramcoq_1.1.3.orig.tar.gz
 94feeb64c7bfde2cdc3cc7fb10339ba2 2544 paramcoq_1.1.3-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ71SoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRxDsQAKQLvpb1aGAwf5r0PMR+m5bug6/emJWR
7CQX1NZgkIttP4vkpg5PomiafSg9ziRBolWUzAgCVRK3Ek+kozoyK9lrx3sQr063
RHkoec5CPgSIKZL+8OJK6MVBlPdWFySwI10qnUksbQW3QnAwXbLjmNpjJb3GJGob
ATjvEayyoJR0QbfBHtutrQhpw7dqDxGWte4btRZhaJrhS0xHZZTdn1f1pCgzDWSE
tFsqpsX8+LojWzrEDQ9RjjoGGizvKD73OVwO6enuG/AuJDGbfNqSL34oopXPTf2i
0/nEsFV44UiE620YxIRR3gbfV1OwqahxadByMjo9HZPnvGXBSktgQddm/gVP2VVl
0wNo3mmN/kYT7PkSPZ0Bs0cnhLIdhLC/1vfKRHK0x2AL9aCKD8SCprulnM98NZIb
4W0vte9vdcMalPwp+3kdi0Vc4DDmlEt2wGVtp4Ysbc0nO04SW7Ilk+57B15rhTcT
uH9kqoEAl9/s2jJhx7ufPDgIQx5nY7K8MFvapJpCUxgXwRUfCfGEa39uK2MhI+8/
eEFLSXb6jv6HjIiriCDd3r5zbaImYTDp7/jnA31YnP6BNWV32PiR0h48Fr5PRXSF
0orQAgJBQRGoZscuFgvgNLDZAv+9qf9y1FdTigHWrxlGWCjWwUMYYtKoxI6a2HaH
Z8/8kaZslntW
=IDAu
-----END PGP SIGNATURE-----