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

Format: 3.0 (native)
Source: dh-coq
Binary: dh-coq
Architecture: all
Version: 0.1
Maintainer: Debian OCaml Maintainers <debian-ocaml-main@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Standards-Version: 4.6.1
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:
 dh-coq deb ocaml optional arch=all
Checksums-Sha1:
 bc7fa60c454c5208a67e8e38f7073825f78835f2 3708 dh-coq_0.1.tar.xz
Checksums-Sha256:
 8f09d913bd28b8b0866772ca0f8ee122ff96126111835e2e7df748aa491b15cf 3708 dh-coq_0.1.tar.xz
Files:
 7877b9633a43856498bd5d9c675d3d0f 3708 dh-coq_0.1.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKaVUQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRjTMP/RVTqEchHdsgJ6ARoUw9NvekFYT/kVza
0mHnUPuBHndhQvtMGpdMtDKRWyc/AqNJMEgqGH3iCrHaQE08EBhSdFI3tyd/KZ0H
0iWooNNFp8cQakkOgRnWpM6kBHSfJMkrmI+jrv/A2Sjem18Vhs9syq/SHdE8mMQ0
YNIXnZArCM5rrCAuIhGwef/d2SBfTx4VX5BTukLXK+Z/4Y5647kmDDGmEpnEhH4j
97Ar8oA7AHWUp2LxlDXQIKvRT6jzyz52xzKtfiQmDmz1rIYQxYXYWx5BPr+roFAx
WJAKKAE7CbDYLTqV1ELu02EbKA5wocwdSdLdvtnkAHh98LchZL9bAAUTOPHGOtRZ
33lQGLNsFMnfEMVhOjqN/yRjamhHv9gs8ynuhpbSYqXN6GqLMkPF1GtRmIvdI9ZM
BjY8wX8jB7fUkMt+zcbZ1WqxsdkRWPUzLVy+1+ld+XVfPyOtg7cvaC4BEe1vs/t2
p+sORAHIr1poi5zuN7jkOv6osidqBoxpQE4JZTGkoBwNNTprhZYQ0WbyIm5oCVj9
IWYReHQBQnEw/B7uLFH7desCkA7m1W4Bjz2O1lgk3XtmwPSrHhw2ME6E3N+D2e/J
P2qTE9gYL7EtvPjlHLMiht79bJxo9g6ui6QjYpQJ0B0WL6n//zPYGiUh96QgxnLf
k71iU7D+b5Gs
=NHxf
-----END PGP SIGNATURE-----