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

Format: 3.0 (native)
Source: dh-coq
Binary: dh-coq, debian-coq-tools
Architecture: all
Version: 0.12
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:
 824b38dd968ea2488c752fcd8d27c89dede87f3c 10000 dh-coq_0.12.tar.xz
Checksums-Sha256:
 0e635ad7e487313e983bfec6501f960a158c4fd00e2f78efe6cb474bbb74fd4e 10000 dh-coq_0.12.tar.xz
Files:
 d1b803802aa95522659b93f3d5c13148 10000 dh-coq_0.12.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdygaIZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUX5oD/9On0/Ca3IzxJjbE1iQdIQ6
AnW/bymGTDHQJpOjG6eSNo+3yhrvq9jW8+5AuX2L0M0NgKZB2YZlsnrB+IFni2NW
wLX8C4obt2qQsnzkBAO/Nmh2Qe7dpnAjlJ8JwNUOH6S0THQKlqD95FBOEjcfewOY
CcC3nOxkLK2HOnnmurLCrjV+bKv85QdSRqlrBlPxmO6Zk7AOVg1rWbCh16IRBMtE
kNJzDaFUKP4VGxoy84R91sqbf9UAi+MIq/v3ORGfFgJnIqUExs4s1tIKq91z3Ibm
rMEGm/1hYld6NAZ5CrDkBuhmIN5nnlS3DWjx37Yazq455nZxpApZAk58ht+Qg84f
gLC83W9NK5YfHjoCCY3E153AIukn4pw7BzGsYjTA+M5vrRmGIkqI0dycmeBSR/4L
k+6jtL9j9bB0ReIP4pcWxFHhY+ffd3Y0r5eTRqIjAoRvrc1/EYtrJLJqTZgMJfdB
L0D2KYK2SSpTG6S3IcKs+IS3ZGDgdj12VEuNSdAtH/yn2Fz7xOBlvKNT2q3NphaS
yEpJPGyE7ERwW0Tuz8J4rYM2t4aWSAfxKGB890pSpTTvFgxnqlc8bo+0Yzc7g0GZ
kevKfih650Bz/uh3qPffRi2qabMjlQ73y03bIm+UrWb68K88PPW4J5Yt3hlw0xMZ
63phKBx9QIsJHhPkO2o7Jg==
=XvY6
-----END PGP SIGNATURE-----