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

Format: 3.0 (native)
Source: dh-coq
Binary: dh-coq, debian-coq-tools
Architecture: all
Version: 0.14build1
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:
 c9a83fe871beb6b1ca2d012100e6184dc678773f 10712 dh-coq_0.14build1.tar.xz
Checksums-Sha256:
 d3312c1599db3d3dc989bf30f40181496145694f134d317c2522d3381cb070a6 10712 dh-coq_0.14build1.tar.xz
Files:
 9e5dd8546bb95095d417d2904283d21f 10712 dh-coq_0.14build1.tar.xz

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

iQIzBAEBCgAdFiEEJeP/LX9Gnb59DU5Qr8/sjmac4cIFAmlqmGcACgkQr8/sjmac
4cKE3BAAjSvVI2AVA1RYAfdqx9u07/6C1hCaxrCYe4HmhQSTxFgVh905DxgSeesP
JYZzyQMsGXbXx9++tM/WoujWASz8UBCbS7Wt5YmexjFlFh9vjoES+BXk5Z/pzv2p
NQL5FMl1TbzpNtF/Jy1pfocHmVtVtY6L9aH7cbuKrQSvOiHpAOCelmJujnwopos9
H2DDqgRQmlt9l7O6rAZDH6tn3obVLF4U6QtPzqrI9VGSiiLdLXWp0oJwqYNwJqsV
YWIHMwvg5NRH5owfGh0WN+NATbB7vcUOaeiD2X0DVVPE7FVtUopzi+Ekaj/lqU+L
G9iG99/O4lq7DyWXcN5yPY7b37hgqrur+J9HUKmdItLYmL3OjFzruF+3iGueJqfe
QqjACgmOBYSgX1hinvp0P+6+SRS39U7WA44K0HDr5LZIul6jGj1tz9cpRVMb2FT/
xV6xnF/HIyj+kP9jfeVRDUpawjB3eJgMBe7W6BOzYcfobIo7Ek+o/LPj3REdt5XE
Y1IJz69vm7OM1ZGQKoM0ZxJoj+A66T1KO4fTbu0KE5NasvdhK9d2N5U2KRcMszJU
L5+N+KO06Kwasadiv9s5VX9NOEAdBfaiKn/l0Ux5fwVN5mpNa/owAuYexu/SzVd5
zbSD58UCzDIjEMCGkRimbMflEaU8KjVN2jUs6i52pODaF7qp3hc=
=VdVd
-----END PGP SIGNATURE-----