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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.5.0-1build13
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
 28a7c092d1273ae7fdc3f8109d2c5a376a98fe03 2668 coq-extructures_0.5.0-1build13.debian.tar.xz
Checksums-Sha256:
 1b264746c0ca6292ec77486829243c0c107a571063c38cf446fb6520824264bf 42630 coq-extructures_0.5.0.orig.tar.gz
 883c936abfc012493ed97ba9d2d3e0b1ddf63ca628dd60891a64f502ddf71435 2668 coq-extructures_0.5.0-1build13.debian.tar.xz
Files:
 02535e6858b35f4cbc9a79168fa69bdc 42630 coq-extructures_0.5.0.orig.tar.gz
 33a2f2df02f21f82d77d0efb32091889 2668 coq-extructures_0.5.0-1build13.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmla6eIACgkQ808JdE6f
XdkhpxAAwJMejt7p5mRrpiy9hY0G+ZWOFXbh3pt1Z8HErHh+KCS76kgoJC9wNCc4
cK5aBKVKeutVyOmHcGqnWhuyaiJVolNhL4Hzc+SHVr7dAnyBwy1IEymT7qJc71Ct
wrVqT7PsHkmYAhems4BVUKj3j0Gac0FdjvfrIUIh9wrMbXrwEEbX7XB/2UCEK7f2
+8Djk+t+LWed1MjxouciHYYEdrv3NyEXFQTHb0+RpZbDHIc7xx9t9itofvdsvMzZ
MkpcPehL2FfOVSCf7jF/rk5tYiV9j86/IJv+PcNfXfYH6B5nbc1jdozp1V132/wu
Sq/Zw6Cr2aroQeMkixt+PcS1vc3JneVHmaF4Y5SIggyJAY+MtrrhW4ipEu4oH+Kn
jwRxfRywqgfKcuEn7bkg82jEFtuhbTBbwksp7W2Qjbw/O0fKH8lIio5EIXByj6ct
tQfdcguHjquV45ZK42IZb4ATlNQxJJtP8sEQ5ie1NcV9vH/h7fmJ/zb4xUP3I5jv
Z28UO6Z7S4uYMm4fXk+mkvLV+zrXq8gGGN58tdnnywJJaI3A5aIwgUXhpOekT5t3
2lA4tD118AYI6Ws+SXMp7nEp3TV0PhYfQbZwvXva6rdsu2OWpbrWT6ByF92B1mvm
UI5cE+GmHz2u+vT3oc5aBd0zQlLB5q9qaBnyLqehIcqEDnpMT6E=
=zsjJ
-----END PGP SIGNATURE-----