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

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3-3
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
 d8b94fceaa6f7c8504f115858d0a1d58d0e1cb6e 2644 paramcoq_1.1.3-3.debian.tar.xz
Checksums-Sha256:
 235e1490f18b2985fd113b9bf17e33bf8b073360e13177c81f0e4879888420fc 45726 paramcoq_1.1.3.orig.tar.gz
 f006b10a5bcefbc9fdb5e04664b5118bd22fb0ebd5a14649ee8e9932ce94a5db 2644 paramcoq_1.1.3-3.debian.tar.xz
Files:
 d7ed4aab639d1670312b721bd82b0eec 45726 paramcoq_1.1.3.orig.tar.gz
 08a2fcda880882d57e97a72a8284a30f 2644 paramcoq_1.1.3-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKKcEASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRvRYP/Rna7K2wihKoKOZeeyWXCS8OsneOlhnP
pB/znrbA4OJsdzjS8YpLP1mFf7QQmbGr/E0kVd6zMqciSCnAgUhQ48Myp1dRQsOI
c6oJvrbPq+cjhp0R4VxqxzaGeGaNEwkrXdBMH1AleD29WOrSi6pFPM5/+g46yUCf
fwUtTH3VbyGdku8iLXx5yhpKhMhLDZeymyviwsmi7085ExmZGaDk3ca/QYNxmqEv
U4fOqtNRZNfPXfxgcBb8ijjEW6oyQm7B8lrSWYpbxO7RiLkeIVi/3Q52je2W9gNY
iNKqhryWta+uxrm3xkr2WMYL6ZKqdIUM3huIxtjAmqTq9hipZyKb/oKeW+zjCFBQ
VEkbw+YcLZTtU9n0KfCVcKhX2Tb7XPxcww5ZOo3fNEjCRk1B96et0rjpOTSwi4K4
oF/ZCMgNvR7HHKzykHM0iYcqGtSCEc1Q1E36CGyP6VT31wMKywicpdFJJjpw4fKe
HbAhdAKooicayTeLnJUzUYwGUXasDdQAUMfl8GzQUshMFzhM7CKh3rI1Yjuskfg3
BxfL7oqPfPo+9ADyV2vbNXgAV8pguSAWjznzQRSWt6DROOdAlsgEOgMYOBV4Hv0k
LRqyaa0l23n+c6At1b+pF0egm4NZPegAyE5LLEeEQUnpZ5Dxw7UIadZf8bV6znxp
XPOn4mOB4CNq
=2Slw
-----END PGP SIGNATURE-----