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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.5.0-1build16
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/arthuraa/extructures/
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-extructures
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-extructures.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-deriving, libcoq-mathcomp-ssreflect, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-extructures deb ocaml optional arch=any
Checksums-Sha1:
 3efc8f835c242c79c98d5eb979313d8a633c3060 42630 coq-extructures_0.5.0.orig.tar.gz
 7292d83031a6028888606e3cb9ab5b06e7038972 2756 coq-extructures_0.5.0-1build16.debian.tar.xz
Checksums-Sha256:
 1b264746c0ca6292ec77486829243c0c107a571063c38cf446fb6520824264bf 42630 coq-extructures_0.5.0.orig.tar.gz
 37e735fdf8bdda431f59957e862145245eee0a09199f1a1a5866b87e1281810f 2756 coq-extructures_0.5.0-1build16.debian.tar.xz
Files:
 02535e6858b35f4cbc9a79168fa69bdc 42630 coq-extructures_0.5.0.orig.tar.gz
 dd015eeddce78d7990a858dc81873779 2756 coq-extructures_0.5.0-1build16.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpXXPUACgkQ808JdE6f
Xdm5gA//XzJ3r5jq6J/SdkGx5zTn6si8K6mu0+8+eOCgWIEeJOw/Y76IEVHUmAIX
7YVQLKRso+c9TXFSJKLYd5JjRQ6ubbhoy4PaZhjTmpVb5ZSmfufJU0Df7stWxVNY
F9mh3vehJUnrb9wuMsInaiGoAKo8WjNE5QV4eE+4pKDtVCy0wde31maSyrW3EIxc
8ouJATYdg3y1JYUPrFpN6QchYhCz8nPBXoASLC1+6uFurt5p8FV+4+4zVc4xy+iR
7lNLh0NZmTumEQfPDhGGpK6sLt9AUoSlOtllmAUSppMoS43qRvkpGNAEiqKtrCWw
mEhIYVchV8X5gMwGTD1RAwufbtFwcz5ZXHW2LAfVeb2hrNksUZxojLeeUq7m1hpU
I5y//yraDUr5zGU2sW1SiYdem5WYS56Btb43lN8t9DLwNhCYINgfPBwn5JFzA8gz
GZhOwbKVub6I1F/FMMuODnYuCxFWpCsXe5IljQXGh2WUExF6a3xVja0PGCc5be7c
bKZUOh5nlb1wMXLDtIUWYU8jLJOC0RW57OMoEA6hBZrMOp4JJTixNEBQRo7xJKcb
q66sT1sx0MFi757h8BbxRs++G/46fXSANYvyq1DDc8xTijbHiRsZyZof0PTwLPDn
0hAZW82kpPCo0wR7P2U+ebwtDtXiyzoDOtvCWJfzsWpRUV35veg=
=e/kZ
-----END PGP SIGNATURE-----