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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.5.0-5
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
 54dda674431dffe357b666702631842f65063f16 3016 coq-extructures_0.5.0-5.debian.tar.xz
Checksums-Sha256:
 1b264746c0ca6292ec77486829243c0c107a571063c38cf446fb6520824264bf 42630 coq-extructures_0.5.0.orig.tar.gz
 4cd3c9ba72720f45f804582ecd6be4744cf2819808555a1f8959f70292afe2ed 3016 coq-extructures_0.5.0-5.debian.tar.xz
Files:
 02535e6858b35f4cbc9a79168fa69bdc 42630 coq-extructures_0.5.0.orig.tar.gz
 b791cd65d0de048a72a7c380817a3f22 3016 coq-extructures_0.5.0-5.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpp3RoZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUcYrD/9Z2A+ozakHYfNTozjRUSFY
NnJu/OS6EdI7oo+xJiJ2B4lpVENZB2fKqFiNKOeFfUvfCKB/963SIx3f96EMp7bG
nBTcU73G6aRO9lAw9FKM43p+RxsrbM0svM6Y7TMN4zjPKl558ESdgWCOPxGN0uHd
Ot85PTR9JSLfDK3Zx5UP2/2Z6E8ira6g2my6hh0CG+5sQsg3NAB0L0b/Co2V0JWs
5lBl4ctSmryzKZRg22dEG32R9scWfz2fMwFG8eFPVmauS/xt4fljjknwcmX9d4U/
8GciTb+E3Ff0nSsp3E8wRJiPJ/F8L4um8Nu91uw91SaHpMceMN085tNFYJxa14MX
296iSH0tCZc1gXFgd4i4ZIo4ml3mgngC4A4KSVx/IbgmYL/Y9nReNdCcNA5QI0iE
oCqCQ6hdRCiz2Fr//ryxNupenTs49gOzzgkfCMDlWIOBRU5TEEALmLyT0emtd3/w
UKGZ7N+tscabN62LUOBpijSAEsU+H667y9G7HTJH02/q9/JUIMLD7Dhy6bu8lFU7
3EH2K1iTMCr8JjNPXi8vVGqu8RqVOeMBsD5UeE7w28ZT4KiJSSar71kWYgAnvQ18
mhcglrtkZHk3dMqIXs5Zaev1vU8knCRpfalGlmfRrIXw2vMg1G5dqxwZYMfhW5dc
wd1dXonBv7gkcqn73AdYSQ==
=2mhK
-----END PGP SIGNATURE-----