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

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3+coq8.20-1build3
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
 578da56740021a1fdeb6b2c17ba91ac2fbbaa2ca 3380 paramcoq_1.1.3+coq8.20-1build3.debian.tar.xz
Checksums-Sha256:
 e785e5ec89f83d986c66f83f4d2d892c61741ff7c9264e98d4a8059a9bacf6e1 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 65fb37ce388fd6f55a5835fa7ef4318836a7caa264a871140a242090390fe0dd 3380 paramcoq_1.1.3+coq8.20-1build3.debian.tar.xz
Files:
 917fcdc199ded6847ed0425a92876c27 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 5604732bb2a2ab6e6eab868f53df31a7 3380 paramcoq_1.1.3+coq8.20-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAme059AACgkQLIPbyOm9
Djfc4g//U03lOx1sJb1Jm1lvdNRx14sO95+UoNQiBgCkpwmnEDOKAFHll+wKPHfo
8ePG8AT2ow35ziLOVbFd9T9MtEwyqo+OzDc+PoILw8j/IxUP/dXIcen0HsrpwlMb
F3+AZdNGTqF7T9yEGOMKBSomlHqqGQNg4PCxY3G7tqlcRcTM9k2f109f1bXUaKg2
sSdE3TMi7V5evnEvly2/BEoGIKqFr6P56gvV+QiOAgOGaY7u5DavcjuhJKNQV5OP
/cjDM8oH68w3XfAaYbZY73NHKQd7PVtu2NLS2Q4MZJ8Li3nM958Nth1eqsgGbjBx
bTyVIvK9MaU+RxULfFycoMytCyOBOOh+T7t+nJm1f0zj4o14bZsFeI4WP+v2zJTO
hECYUJi6FtAmgYV7Hbi+GCkGLWHRSBM8ruBhb8xiicSi37y6dEG2UPsrI0Dqh0BY
eIrC6+2jA/6LqknJ0or+VY0Zsi6h2s5WZjQ7L8fOGbSlIzMzSHh9t/fke/JgamWQ
17I0cz3dWGMpN9PQVM0aYTkzIounH8+hdVGcpmZGmyQOpZpATXr39hMN3eSloJD7
c5zga4Hc2G9KLT6jC6d+SXPnsyRp/2YaPSHb5/AW/HsO+xQBbiU130yUEKxAH+JC
ZpviLR5fDiQkUT+EnJ+oUcVAHuf5XovQQq/RQTJyRVIkVOEyP7k=
=imLR
-----END PGP SIGNATURE-----