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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.5.0-1build1
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
 2b30059fbf39ee29ffba0227d5701e31bcdb8404 2440 coq-extructures_0.5.0-1build1.debian.tar.xz
Checksums-Sha256:
 1b264746c0ca6292ec77486829243c0c107a571063c38cf446fb6520824264bf 42630 coq-extructures_0.5.0.orig.tar.gz
 5ebbb6c2a4347360e1c7cf18223c371acfd565cda625588e34e41bd7e6a2d9ae 2440 coq-extructures_0.5.0-1build1.debian.tar.xz
Files:
 02535e6858b35f4cbc9a79168fa69bdc 42630 coq-extructures_0.5.0.orig.tar.gz
 7233155cae396380e38a13dd9e21841c 2440 coq-extructures_0.5.0-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmdlq84ACgkQ5mx3Wuv+
bH37uQ//Xp+pD+NZY1XQbLvF75La6fZxEfm0wOSa0X/KRuTB96V0//wYP3dlUz+U
sz6DK3xNWuAafNnLwHKDhkLTLqDYqwEmombAfOEml0Cpudhn2UqLyW44USALjyKl
Sm6wm+PMJqz21Ozk90mde5yf8hnz6qHGOu9zv8lpBLziPE4GZOmg043tSY4Pmwpz
AeBSG5qHpLXKipsEPdNxsXEJeyZGQDOafkoTjyKy4+BOy590wCucOlPy19qzPJAs
BxFa+E/h6yWoBhQ1i0xni7lKBTEd47p2e67S/jSoXsMlqFj0MuEULQ2vNBUe8Nxp
S6JucfLskzJQBsJP8h+tq1FmPBzhK380vbALv00fTY/rpRlx1JP2J5rHqIbEw63/
xQ6t8pasxT2sdE+C0ktMHdlJcQx/iv68csKnBDR4qIj5hY1Zqq9PyUmnZ7ph5hUI
RlYtQNtycg4hQcznQzRrMnMckFrdVEq4PGBUEU4OOk3b4nVP+v07l/CiZmr5qY/O
Bq+7tpBjr1bxIW95Fi6MGoi/Wy7BOD/DGs+Ys+N0iYOsntOtk8xbOWe4v6pHCZmv
v4xk5ABMtYiR+k5Tu5YHYlYwy7nF/PDPDF1Bjsr/cReZdwaGoVDbjgOVhUq+X/Vc
T0ZC+Kb+HEokDrYD9Wlo7Jweave3FZsGtZQemnic4vtyWCPz47k=
=7W92
-----END PGP SIGNATURE-----