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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.3.1-2build1
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.1
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-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
 a8eb8c6106bfab5d861d63ce077cb9c8fc7caa55 2044 coq-extructures_0.3.1-2build1.debian.tar.xz
Checksums-Sha256:
 5280078a7b847efa8ee11feac792ea4d5c1556d5911c67c5fab93c56dcceb015 38296 coq-extructures_0.3.1.orig.tar.gz
 0700cbe9890f192044a3f318b03418391b57535f1fc924199f2f3dcf8b940e71 2044 coq-extructures_0.3.1-2build1.debian.tar.xz
Files:
 32bc923a3a383ede669fc9063cffa52d 38296 coq-extructures_0.3.1.orig.tar.gz
 1e38ea14d0962b1545a632940dc090e7 2044 coq-extructures_0.3.1-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOBBbMACgkQ808JdE6f
XdmUxhAAnMRa+28oEtFcey8UolIcfXiA+cRiSR/REbIGhcZB6AnJMfM11d8EKIEp
yLg01AeE8k55Mrfa3zI8OfJMH2BGfoZ5iUWKsoJiRg8cWTXSCo0p4IffXQVLjkUi
zE1HeAZWvpLVyJ+F50+adxi1UYmJH1uNjs+iLqo2oqR2tCxWkJSlELdSU0w18mUG
IEVAjkhHzsZv6T3Xozbicoo8nCmYWcao6Pudp/KJ/g4HLYICWR0AlVHRCz5A3iKb
jNv1S4aB2Y3ua/t7rQWZZR414ssxI3yxc1vAj3KG3D5FfVxTvDqSLuokex6S6Qzf
DoheP+7cpNHpbVQ1meVKFUV/x1i+bpu8oIfllFt25m7nzX0AzZc375Z7toDvZwDR
hm0oBgMxZaaRC2nMDLLmXtS/yPWwpwNEu51+7jn1YmQh34qz1J4DjdMJLdGnzf5J
ixjhHmnrXrbiHZxZ6TD+gJ/CyTG2oStmcm4FmFRF47AQM/GjpEGrFLUGcDuDIjvt
qYyqdbv7vt0PBBZj4Y4+XGElgc9qf1g8YzOHzJb6wcdfCSugSnArkE6eoG0WvbV1
90E3G0dEYIvBc9Wqv4GgXzaLl5NMRUnWSEhWCpgEa9XpUleftSZKqHmGPyuWS1B0
w5zBIvsVrEjDW6Wp2uJQhY2aA31JBUqHkcYblVZ0ibPwV+oUP78=
=vHW0
-----END PGP SIGNATURE-----