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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.3.1-2
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
 9f2e53d4b1527d3a9f3ce3a33c20251ba091dce2 1964 coq-extructures_0.3.1-2.debian.tar.xz
Checksums-Sha256:
 5280078a7b847efa8ee11feac792ea4d5c1556d5911c67c5fab93c56dcceb015 38296 coq-extructures_0.3.1.orig.tar.gz
 2e196070a5e0390ef4055189b309a83a4b135a5919e646939de0e1af3faaac32 1964 coq-extructures_0.3.1-2.debian.tar.xz
Files:
 32bc923a3a383ede669fc9063cffa52d 38296 coq-extructures_0.3.1.orig.tar.gz
 8e5dbe0f1a6ce359515c7d8a5a54d85a 1964 coq-extructures_0.3.1-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLmW0gSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRao4P/3h4UunVOyFrzuVDDUMYhUmxiy4NPITl
75XhKMhD1047/mtJcaqnRhcXAxUCDmseO43S/2bigVWBUtGz4SqTZwyJymEOf0EC
bRT333Ojgpb8VQhEAQ8Au6WJK+ucynCXAiWU3m4piY/RfqSeejpWEJS8UQDVgeIQ
RIKlWZd4oetUfqu9CjPPK7IhaATYRmDslo94uOXSgvuHtx2ydRjkq8eQXfBUURDe
oVHrNA4XCINkJ24aoAo0owonPuCJFIgcWPuoBLihQFo4rxxztfW4RteQZjaiJJJq
Y1SD0V6s0oB2ewpRMfktR6Jj5tUHHMF6tbUkKkqoHiPjEBAubK0UyiM132tCGTf+
3DYpE3qhhvXFvrzvECG5LpRI7YL8Z+YbnAWw85Z9YbFtSCNhT97e4KzupyjvwLQJ
JVgNw8e5+otRlVsaVYp1W5M+YX8TgQLRR/dEu5B2ri9E/SxEoRMqFMrekqlAS3b+
BuFZqDvXIXTf+ZCo+pH9N2VTOWq3BwxulTbILW9JaCKwt+3Oxde4OdZGUIie260y
GAPo8L8xqc32f5DXMb1wHiG914IEyceI+c/zAnoKHcd3jnsvO9LEtzJQOspo/sBJ
aIUVic6CQ/9wjMyZknkLs3/gF7d04Pb/lruFhV8gEMp1UV++A81A1M1FZas3npjC
91YXMa0LfwhE
=uxd5
-----END PGP SIGNATURE-----