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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.3.1-2build2
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
 6813e1298fe15abd1c4b184624edc6dcc1c4d282 2064 coq-extructures_0.3.1-2build2.debian.tar.xz
Checksums-Sha256:
 5280078a7b847efa8ee11feac792ea4d5c1556d5911c67c5fab93c56dcceb015 38296 coq-extructures_0.3.1.orig.tar.gz
 e6c10828637caf72f0cc8dc3b575d82677ba3872cc203e34967caf4a4449831f 2064 coq-extructures_0.3.1-2build2.debian.tar.xz
Files:
 32bc923a3a383ede669fc9063cffa52d 38296 coq-extructures_0.3.1.orig.tar.gz
 3edcd4a89099b67e9619569114f05998 2064 coq-extructures_0.3.1-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLOVUACgkQ808JdE6f
Xdm47xAA1jGO1kar5dXgWzwqFaPjnxDlOD+zoNknsjoqBi+f/07d1VA1d9KqbOhZ
wR0gqrG29uW5f62uSccMmsXX6ZNhmiHydStRKxY8tS1ldLEXt5srfE4n5dZxDAXR
z2B3sWYqYFsVieEygyi6Iv70SWWxI/HhNZKFxDBQekbGW9UaRAFETFFPm4sj3fVa
ofPvSYA93Mam2zZ6W3r7vmhOz4UnUNc50etbDVHWR8A2/SKqfOcAVTYOBZiPrLSn
UjxnDMpsVkPRzsKI672BMBUGUOjgHqfV4BeVLB+bJN9ibWHXmbmjHyOKYYOlxU3L
czGGHQr/n+6TYnQOQNoXI5DXW589tNbFplUjSMUoD3WLxKuNZShy0NruNxLO9w9B
dfE18nbtkRcWCot/nVJ5avyhUQr9ZLs+iAy4xmO2ZSrYkLVvMJ2J//KY1Q3zxdjq
CcorGa85dorHAsfBrMbdmUPIEjt4Y0tT1WLXuPeMzGf5Cc1R2oLogp7YzMtlgWiY
+YBl8Fe+o+ZsL2bIjaa+KBBslFNpgvkTsmFKt4JUmI8VKi7ZGKsIylzFiSEDml2H
AywRmydJKgDFinY3CZRSOrQgKHJUGUYlfc8TzRc1j9NLVGnZ50iil6PDp5hgfn6s
QB75BVtVH5eHu3QScconOjIbBikeawc7jtglhs6TBmNvDYjjr60=
=P8pG
-----END PGP SIGNATURE-----