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

Format: 3.0 (native)
Source: dh-coq
Binary: dh-coq, debian-coq-tools
Architecture: all
Version: 0.11
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/dh-coq
Vcs-Git: https://salsa.debian.org/ocaml-team/dh-coq.git
Build-Depends: debhelper-compat (= 13)
Package-List:
 debian-coq-tools deb ocaml optional arch=all
 dh-coq deb ocaml optional arch=all
Checksums-Sha1:
 493bc68166478952e3dc3755c46188173c51b014 8592 dh-coq_0.11.tar.xz
Checksums-Sha256:
 5679d5539b44195cf46482beb1c6bffe31a66e06e725ce0f153d6ef52ec4b5fb 8592 dh-coq_0.11.tar.xz
Files:
 92e67a11795dcd398b9f101c3ebdce83 8592 dh-coq_0.11.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmbpycMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRPl8P/3SZ7Oe4Q/YwJKKCTKYPPX/gXlAT/VgI
81n3CNrZZD8KZtZgM96D45Q9If63FvBq0Tu1eRlY+jUMHp07RNjT/Fs0YzQJh9Qd
xDUJef0z/T28I8K+FcrVc6xfL5dAI+L6GHxKmdy6dhOb4nqD0VqFvq48v7b2IvHc
OgD/5ks5QOffbIUzH1KjGFWxvabQ6C/Om5abxsx4mtydhOnd1IXhuA+r1XoKWiAi
thi9SybaLita8ty6u5SSWapSiT4py9Vc83s+eRQbhZmk6nlZ5sbuzRatzu5kSBqe
HjOyQR5m/YToQuoLuM8JkJwN6g51IHmXJJpHf00T304M4EydIkB0OSCJjDtej8Tv
Q4YJm/5hx1nvvcFQA6tL6gjEE0L2NQGIMQE4udomE48pHKxPMK0338bs6uNLqSI2
pS0o1uFL24QxOZc8VSVlvklzB7iA8fe3BWn/LveaiMIVxyAIjGtDJndratIst6Qt
VVell9oigXZm+uxDSJGbQkn4VWwFJ42u1xo4vdchANFET5fkEJUtRVsEpbMmV/EW
Kxp4+YCstNzgxv8nwmIt7XcJtP4zoDDDZqFmAoripwJes5VEE4njFcXA4BIgGFue
wY3ZcJ95Ft6+3pMj8+Ry0U1aMecEKi8uN7u7HkLn+jeKe9f4XMK3zAd+4FJL0qoH
8uoesz5HIlCX
=nBO5
-----END PGP SIGNATURE-----