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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.4.0-3
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
 52ccf7b4511fc76b4bef50d7bce6c18768602bb4 2272 coq-extructures_0.4.0-3.debian.tar.xz
Checksums-Sha256:
 c1896ed5bed50d3c43d4d973d819a29c579a2d8e01e1f6a84aeeb35a39577bc9 42179 coq-extructures_0.4.0.orig.tar.gz
 9f5d1da32b130e789e3a82184d67fb6b8b19824eae2d39f65fcac69eaf401428 2272 coq-extructures_0.4.0-3.debian.tar.xz
Files:
 d31c4523f3bf48ec76e65212f0888b70 42179 coq-extructures_0.4.0.orig.tar.gz
 323e91e10e3ae3ba761b8b2b833b020a 2272 coq-extructures_0.4.0-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYrtB8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRie0P/2Bix382WNdAapr0EKZSeDLt//pnqu70
x8Kw0jlhkp5jcAQp3dG1D0ovy9hTN5DkmwAFpyX5WYIDoRf9NZtfCzlKzETCZg3v
NPd3ysI8J5HxTqoB/uyirgslvb0ZCVOOl/8QE3NuTJNXlvBUUvySPr05/OSHTZlL
gVW+bzk86mCs1sHVvnUGeBgusFxKLo3Q2OG8aKL5kYmxBHWLB2w7i7+68s1QakZn
u6rv/MPi08xt1PxBswC2hWQG5+y4+PrKGMSSrvARyaUbhaV12nEqyDFutdbLILz5
/dbVFnr88p6dYCba4+Kwibc5Scrv6tAmSE6igcpBl7s+LiCySc4hETrxTQVx22hL
R4+zV3+Lof4J9liYdKHLj1pY7qB0wfaSr2n0C3ZzgnmgVfr5+OQP/H81xouts3bm
hwhZYhrswAQbc463HT9mHkTN3/Yie8jMMKtoy6DXarF6n2fKt7ObhXwYqbXSkrB4
Kh0EPOk/OFkw+If8D3EdXwDS6hqrEdof2jC0S0uGSjC+er7b+Nx9y3bHg67GgOcq
gTqfmi0FM3jb6X1eFw4nI7BmkFk5vdRvKkZE/C4QYwwnMUYNZZ9fG7qR89xg++47
2zxZeLzGlas7QsgDztFIsHn2gWrAtGWbZ1sq9xyccvLlbz6LJgfQ1/YOgkb5rhcC
W6CI9awkdLvr
=0ffS
-----END PGP SIGNATURE-----