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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.4.0-4build3
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.6.2
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:
 ba00c3e7984de42fb9c84ed206a8e25e0170e4b3 42179 coq-extructures_0.4.0.orig.tar.gz
 f89576f794ed244dc452ee55dc823fd05fa3ead6 2492 coq-extructures_0.4.0-4build3.debian.tar.xz
Checksums-Sha256:
 c1896ed5bed50d3c43d4d973d819a29c579a2d8e01e1f6a84aeeb35a39577bc9 42179 coq-extructures_0.4.0.orig.tar.gz
 6e3ad57989c6b5af27b0b20004178fbf1f6ab12a3463d96578fddc39a2dfaaaf 2492 coq-extructures_0.4.0-4build3.debian.tar.xz
Files:
 d31c4523f3bf48ec76e65212f0888b70 42179 coq-extructures_0.4.0.orig.tar.gz
 e1bc95d82dd5478cd29e67e954e6cb73 2492 coq-extructures_0.4.0-4build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbb+vMACgkQLIPbyOm9
DjcshhAAnQEfwbnGCIT+IEWAAQ0jnJsQL84apZq0jkk/K+99T1utZeRfBQLPuHJN
YuPpGsqA25gvd2qHIhlypFMQJingVj5xTByrI1LKMXeEWaJXY0grUE60Kc5Fnyyk
tGZwig1L7qOOy1QB3nIKD5H7k+gqW8wUdseakUkGUcVdZvnghYYz9xflfxWE+4T2
4KtuxmpPdu8BwXXE3FYgBtbFFfIXe3LQuwsr79RmmwoGeYwVc9cyUgSaG848DKnN
PpwajDmq3oSynVRNe7cGaEDlVFVQF1ddmlDV3QhvZNm/6nOyR2OhzumdhHEKFfC+
9G98/RutDvbUaeac5XEca/hCEKjVio5LRHpygDXOqKDrgVCT0HRHKtDyJE5idtm/
D7a2SGYb5bR4uIwwVvwbIo3BuowCWyRq3ZLeQw4gh3/LP5uAYsliVoQLx9R3GH8Q
lWY7bndXbT+EhdoYfK4h8tlYK11xiyWYpt0BZC1uMd5CHzppodpA5KzlhbUA0QQv
CooKxCOFRoFLqpaQaqPL87NCLtyhqKDizr/04EPXJtqRcCsb1lFz5VfI/ZrPht3R
KHJZCAsyC77cZOe3km+E53USqEYDl0diUH9CVbL6Arln1CSDdfSLCiFjEWknd+8l
dY+lxpWSKJaqAwvFTv9EvGrm1oar7edCgHogHAxGsz/YBKbeab8=
=I9Sk
-----END PGP SIGNATURE-----