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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.4.0-4build4
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
 8c2e1dffb5aa0b93f81279269d321d0ed3fb3e45 2504 coq-extructures_0.4.0-4build4.debian.tar.xz
Checksums-Sha256:
 c1896ed5bed50d3c43d4d973d819a29c579a2d8e01e1f6a84aeeb35a39577bc9 42179 coq-extructures_0.4.0.orig.tar.gz
 ac8585d54f753108d5b9ac4c4181459c772233786969b575ce0dc2122071c714 2504 coq-extructures_0.4.0-4build4.debian.tar.xz
Files:
 d31c4523f3bf48ec76e65212f0888b70 42179 coq-extructures_0.4.0.orig.tar.gz
 ea9c2a047fb4694616c6b2d6697c69a6 2504 coq-extructures_0.4.0-4build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmbh9G8ACgkQ808JdE6f
XdlRkBAAiZum/89XmewsmD73+CzlYR4OwxAoyMJlo6O2DtN4whkgp7YW6PnDwTQ5
sLW4nI1EUnqGdeC+Okt1n/wYYbW2/IFmnJ6Nmy13XsiCC7b/s2zLVhTPCXEnjOzm
/hSnGWyPv+PeGxlGoGoAScTTfMpnPyPC7PJtjFSON64LTL+vtzEuhATI3gpbTnpj
8Um6Xbf5l1ptT8k6ElSfuQz+BIBfzXQ9GvkrK3VONGtihorTGhEOr4sqJ7hmcNhn
3yFBzlZyz+/lLTPqF6PJ8ZkiVf2J+PnlkBut1cWNCBIO7WAMxn9v9ytDp5hIexIL
4OK5ySL9DXfkiQuE7qo5R2jcpASYFccGqvafMYQjIGAjOLl9xez95W4mWrUzn3kq
HTJiMIJxB6SnUY88SFb8OWQ6LMj46KB6CTwuKgWfN9skc/nhrh+z4JmLKRYq34u5
npxRn2rFcjyeANO+PMmYTgSd6zzTUZKZ0FEHSTWTdG1Xe79vJV7mxnWmovRQKPNA
JIM8lGot2YW5I76f3alul+6HM5DjPFljuFqvY6/GopEwmoCfggH04OCxIwrx+Y4e
WP2h0eKmnoRHto7Ain5h1UndTEm5/T1zlWlfFV3JuxAmCLaecvKOOixuQ8RlKKpm
Rm5+hY/Oi07waTGSXxlUJyyHegZXyIwIU16tnJKe5WPzVBNDYaU=
=IZiv
-----END PGP SIGNATURE-----