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

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3+coq8.20-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.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
 8d629f3108508e3681ddb14ae5afca1367913e2b 3184 paramcoq_1.1.3+coq8.20-1.debian.tar.xz
Checksums-Sha256:
 e785e5ec89f83d986c66f83f4d2d892c61741ff7c9264e98d4a8059a9bacf6e1 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 1a3e01e25a34ee9a14ec55e779e4fd09ac57973c64bf10697c1d2d472a8497ce 3184 paramcoq_1.1.3+coq8.20-1.debian.tar.xz
Files:
 917fcdc199ded6847ed0425a92876c27 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 ada72cf74b95c53b7ece4fe41e3a4e66 3184 paramcoq_1.1.3+coq8.20-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sVQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRLxsP/RHgeyt1ZDa8xftsyW2zoymJ0qdnEkrH
xK9Ynalc9PAMp4Mx9T1fq5d8lDaH8nIaAOWI1Q1vOLvMrVZcKleth3mLoVFpR3C3
kUqpxWojJBDOkD3fOa6yeN5f5SfEFaGZHWTUEjK++mNboDkvRwZI/IP87SV4Lsfl
CoDheZUX5E6ZbRHaPjnuDYpC1i1hfzqQx/WxWkI3z0U/ei4E9uMkFr2h9EmZV29O
4w3hZaCFWRW5JnqtaTmcdcakQwvZUETplleLoz7rksKFf2XTSpxmrUvZT5b2HNXU
8eD4EwHpijUnFNZgpJFUwHA/sbZYf9rYs5U3VRLTNqZufwUDPwZ1Va+HhLyGOiF0
Sv/YJwKMZxmhOJpAHjfwRlCcQ2PFksCHv2/c+wmzjzHQEpuqBSbMTh0vqwyg3lqA
kSd+PQCa5U6s7vE4jWJSTaq565nl0Wvj8nfPw8zZSL5AJOJI1B+dX6FQdSYiHb8J
5gmnObVlgpr9O6xlbj+AQHkQIlzl634UHC6rP4crX+G0ROsdNVKtV11Y+AJjZiur
oVfl2baS7hBbI9rW25y56XtCQHD6+gwsZY3UK4BgZ5bUyZPpYVDW8NfIjmiEpFg5
M1lLK51gVibvpePB/SJPG0QGORoB606xvAnmG4kLkVmfdeSYhkLD8k8ImdzvUxBd
3lhGbk0hIlNe
=0tbX
-----END PGP SIGNATURE-----