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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.5.0-6build1
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.4
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 (>= 9), 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
 f0e002663c43b8cac2dc092ed16d2f0db4131eac 3096 coq-extructures_0.5.0-6build1.debian.tar.xz
Checksums-Sha256:
 1b264746c0ca6292ec77486829243c0c107a571063c38cf446fb6520824264bf 42630 coq-extructures_0.5.0.orig.tar.gz
 266c159ea07c4b5377470c9e54d114f9e01758e9e2a64fc02585950cb04b34b9 3096 coq-extructures_0.5.0-6build1.debian.tar.xz
Files:
 02535e6858b35f4cbc9a79168fa69bdc 42630 coq-extructures_0.5.0.orig.tar.gz
 c98be702c59e73724946888c18ad819a 3096 coq-extructures_0.5.0-6build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmqqQ8EACgkQLIPbyOm9
DjcqKhAAiDd01yEKdfPld7w3lN+o0P4ZmflNVNKYaPOntzPehkMYqg9GIqNTX2hP
TXUribmpgGCd6nMl3pETRbrnlh9aGo8QRZwZUoN8HR9TicmxaMjMc9RpovHUs+GO
zPjJN1UFABArUonB+4SJla25EiFKbRGlCv76CR6SRQj0QC3cfqrcmmA+bKaR5BXC
rGRUYakdlq2yXBD2Cp3poAy2VWUk/UlxvfXJYhlEMG8qO2OQYZcz1gluTgolTTLg
xJyDpLGr8WFMG2aPuNzgDrPpWgmTQ1fZ/osuHclZzDKTcrCqgfnGO7lu/G1Azexy
dPlAATJS50yG5TERNwdqWOMsTKZA2E6h+aFOtbImgOc4jIVuJtHMyg4ssbN+viOf
hRG1Uru9YP+OMzxMNb5rrvxObDHZLbP1kLIWHQXKgC85vPvMgdPslFyI/DWTqRYo
CU59uGvY5yi6dzASflulpl9PRiuwQeXNqzGizAzlKgyd0B1fAVGNdvEeXXNMbHyS
yFqBWZ6sukplEkOqPmyIE94v2euT9byceqoAjNQCOXq7E1dwY2Mvk/maS3FV9CgH
y/z+QnMy+qyUhY6au2p1g7ldbwIKP0jCeC89fpdLGZz1WJTWpyTznS5gBOmFWgwj
sMqIHlsYjZuBZq2CQCbCVLgB5NAbsboTRyDedUNTburM8v12mSE=
=jD07
-----END PGP SIGNATURE-----