-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.3.1-4build1
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:
 24c4218103e6bbabf4f18a7e00ff7e63d25cb2c4 38296 coq-extructures_0.3.1.orig.tar.gz
 94a79e25c7ebd3e444d010dc070db04520ff748d 2120 coq-extructures_0.3.1-4build1.debian.tar.xz
Checksums-Sha256:
 5280078a7b847efa8ee11feac792ea4d5c1556d5911c67c5fab93c56dcceb015 38296 coq-extructures_0.3.1.orig.tar.gz
 de9d571df8fd8b8be0a35a99d0c3c83d4ec97ad53675127fb7d5f02ea5034045 2120 coq-extructures_0.3.1-4build1.debian.tar.xz
Files:
 32bc923a3a383ede669fc9063cffa52d 38296 coq-extructures_0.3.1.orig.tar.gz
 4cb2b34429233e4bffc0da935da5b5cd 2120 coq-extructures_0.3.1-4build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmS+sB0ACgkQ808JdE6f
XdneGQ/+JEdqRo5J6B1zmLuKdgd2YaYBypILrtnFqA2s5XtQRnveM/6qoAqleH55
CzsxZSvxd+BhtNGTZdIwmkGnt4YxuvXgzkK6WxfuYvsBAgtmkHkQe7jjioiLtIJg
ZTIZoO0lginHh4K5oXyyHWkwp/Rz3TkaikCmIjesX9bRKGf57/KcaqYrHBgfJFgD
VtwPkBnyGTnwf4JVuwcE+ea6k2tIjQs1gmtk50NrHiqmXJdGzau9b3SlME3Gya1L
KTrzXPwVMEd9u5HoANV4VniJajU+1Es0LtJ4qY0/JdciRClbOFPOz9OHhQsxvG1j
Gc+i1aMRPNORGxgc2Ps1JcVMsfrd1llXYRtEZ4A8CQaMNphXAb+1u90C+BxKXwIJ
f+fO1P26IiYwe4Akh3hB7lMnds8Wyj8IhJ7IxFlLBX0OiLntE0MUc75XsC27TA+5
qeMoImPFaZj/grkxRaKQ0VVpn2jxH0l5GICzVWwFtjBBhdVQnk2O97l0dP8urbaD
R1+AC1ZZ+55/Lgrp0GLrByFki9AdUXVCorum/sfGC33w6O4HPdWibmR0Ain+hZ6m
shaK+wxFNf8nnyFZR2b9+zI15JWLZx0UhZo3xbyXS5ctYDGiX5prGiqky4Z/yfXn
JfQO4gIR/SvPgmn4E9aqXLtFfxJAiATIUF/sq14gpNVfSuhkXLI=
=RRCt
-----END PGP SIGNATURE-----