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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.4.0-4build6
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
 95585e4b8a3c67210c43fcf8f5f69fc1f3085952 2544 coq-extructures_0.4.0-4build6.debian.tar.xz
Checksums-Sha256:
 c1896ed5bed50d3c43d4d973d819a29c579a2d8e01e1f6a84aeeb35a39577bc9 42179 coq-extructures_0.4.0.orig.tar.gz
 d5305a2cbc37492da69708832ed83112bca363264a24e774ca5f85e5e9872e71 2544 coq-extructures_0.4.0-4build6.debian.tar.xz
Files:
 d31c4523f3bf48ec76e65212f0888b70 42179 coq-extructures_0.4.0.orig.tar.gz
 500595bb6812f0a73f91274c695228db 2544 coq-extructures_0.4.0-4build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmc9rGYACgkQLIPbyOm9
Djf57Q//cL8Py9JmQJ7FcO7PRAb6LGRBR2Pa+D0qjAfNctEUogVvVWxoxNKOrl4E
MOgVb3EmAlllURCaCITx7LuDOqKEqw8utUTRyEHUtkBN8z7suNDTeX+cOH/Sdpwc
MJ4l5571aStSrbn4evdbUT4ghQS/sY7fynFea4CPggshXUBghKI5JrheC9CVFjdA
ShA2Js2RFWm+9MsCehB7+4w7Z3ocmSWkI3EoxfcuRZOstJrcpXZoVRikOxM7j6cY
cnca6+RG5j0p/Yiun7vohDpF21twggn6i+I0U4PnXuEtxrtjROOTxQCNnig49rUU
Ycf2c78O/qaogj5t6t2RUjy6KFRcoRo6xyLVaUMdHZbbFYaRzuOkM99OTxEQvE7t
ywT+8lY2skwfHcQxjm6Bg0qYT9W7mKds+hIg54GCm08e2oweMGSviV/lvGI7C7EN
N6j3nEiEe05MgACYvcFrgGQGizuXjZoM50KPIGWOIt1/QBAOPTDZ3eEv3DeRsXlG
7fiKpmFmORD1kaxdJpEAYdf4KYtV4PRDanpvWkDlKzXTVKdCk4b5ZIBm9P5KP7FS
M+7/+JUu2mNgXsD8Wc51PmeVGP0HGeyPw3JXenLGOKpDgKNEfAKCs/uyDUTycUdk
YbKriyzclCuEc49hV8iG4LJYAobD/aKy7O41Qf4lvthH5bunu58=
=tfKA
-----END PGP SIGNATURE-----