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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.4.0-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:
 ba00c3e7984de42fb9c84ed206a8e25e0170e4b3 42179 coq-extructures_0.4.0.orig.tar.gz
 7efb8f81a8c97d2732ea6b5e389eb847cebfaf92 2412 coq-extructures_0.4.0-4build1.debian.tar.xz
Checksums-Sha256:
 c1896ed5bed50d3c43d4d973d819a29c579a2d8e01e1f6a84aeeb35a39577bc9 42179 coq-extructures_0.4.0.orig.tar.gz
 41c4bceeeb3f6d15a254f62457639fc7190a2f880711d34ff01aac0f2c269604 2412 coq-extructures_0.4.0-4build1.debian.tar.xz
Files:
 d31c4523f3bf48ec76e65212f0888b70 42179 coq-extructures_0.4.0.orig.tar.gz
 05fc39a14dcd9e67911a84ea227674df 2412 coq-extructures_0.4.0-4build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAma2EToACgkQ808JdE6f
XdlFZA//RhMxvx9PaKQkXenjqR/n/g4s2VQ5G6jfOlBgRTF3CMvfWjci0sh6fb11
wRlTbxDPeAvVRngcL5TuRwM3J+u7p1bGWNYN8etsTuyoVI0VyRonZFiGDknZ4Ucq
YPwnPt824WsVjm4GWr8yqP5HnVMvbMTJIIubJNYyJNx3ebrdrl1/z2uA2q/sldy3
ZTKiuGNcdHSOFaTfJYTdtAj8oI/OyoRFgfxONgpAcUfnRSRkkRS11u6C2ElVxSNd
iFZRiIPPNQnwKHgzvDRr6qP5YNZgDcYPZ/9+6BKCraS0xjnhG4UpY4LB22aJ1qxK
4RbVqlqECAsrZlB6YgR1168+12PEQyjDHfXBlZVx2Y6UN2ymHxjNxtaKKovmUGLs
RWdYBFPZPWMnKUwNvfZVp9ng0YabyuFuQ6eQct8EOTRE4RkK0pPxyDg5/KN8YRY3
LE+2FigGx1aXmwwqg8/zqdilmivp6JHe85X94dPzwE7wmrdZkt7uibYsYmIgEV5S
IkD0pCjv5Dd9iqZIZltbsFFN8pU/GCN5vbmXUgAcYf/aNTZ5BUi2Bjqy4HWrG02G
M9GJAISCPKJv/KtVejmyIY3GmMrp8ddUV89l1Nci3hj+c/y/58AY/t5bUq5U8ikg
lFMCIoQmbv/r02fq7Ai91j02XfcR7Z1fDYFOZS4dGMKt6DkB0xc=
=8GNv
-----END PGP SIGNATURE-----