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

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3+coq8.20-1build1
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
 60e00f6504331069ba7972af0d170729d7fb48c9 3256 paramcoq_1.1.3+coq8.20-1build1.debian.tar.xz
Checksums-Sha256:
 e785e5ec89f83d986c66f83f4d2d892c61741ff7c9264e98d4a8059a9bacf6e1 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 e4b28677e11546ae445ccd505c921b043e31dc9224f9169285e2f775b600ecda 3256 paramcoq_1.1.3+coq8.20-1build1.debian.tar.xz
Files:
 917fcdc199ded6847ed0425a92876c27 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 446eb2ff5e143fc1c4337f38085bf483 3256 paramcoq_1.1.3+coq8.20-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmeex8gACgkQ5mx3Wuv+
bH0IChAAm1RXfibNkNmRJraXe6W1QRjZg9NcL+XZPxPeQizVf3uRVhdgUiHTf9r3
BXYNHJnqQMY3v00TDZSXw/IxmAcGOzLSiw2ZgsMl8DcAEb6/nPFzx5kfFdbg9HjM
Du8OHjd/+4arvB/J2BwNZXnSt1XHWH39D0/KIhGpSumUgk0OaSpb0BEpxAD+6zym
p4BXhhxcImwidMpB3c9qScvowbMgy84R2IayBhiGz6sg7eLoZHK/MhPQTpDviyGB
pZ7Q9eTCf7GHG1reXb+TYWVNUu0bL4MWSkPqIjSKDw6W64UtDRpThE4YnqezK5ku
mfTjCF3JY7UVKOaBqgYvgGuzHXFwNeoKbU+khEqJWRo+KyvDY66Nu4XyW6dUVRg8
xxnrPR+WIIcCL6EGVjU8dNSWV4/T8dHc2vNe9RYCyTnb00nxMPQWOg7s5I8Wq/5S
5EF6rkraUMFVI0TTwajyz242tUc0EVBxEZ7Ew6aX4gfKclFM3TeNZ40BsWJPV//n
tql8WrhkWlavouQkvipOK4Vs3kgQK5Zx/zTAQOig5JlKtxYTuGnKU2b4zw49R0x5
3mGbWUluv/G6ZgnxbbzyBNSnsmTUbMjcG5pb1/s1/+EMJ3ky7MT6ADsEZ/nnIB5D
hvPNLsWpBZdAujFoXvSTbmQFTQDVacLd1RNJn7TxLGjSIMLJTjg=
=jnCA
-----END PGP SIGNATURE-----