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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.4.0-4build2
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
 75f05ec5d2d500e6ccd76f485ecfe89e8c7e89d6 2424 coq-extructures_0.4.0-4build2.debian.tar.xz
Checksums-Sha256:
 c1896ed5bed50d3c43d4d973d819a29c579a2d8e01e1f6a84aeeb35a39577bc9 42179 coq-extructures_0.4.0.orig.tar.gz
 da97890852da8f554be5f8ba1e14e6971ae2fc6f2962e707816669df06eb4fb5 2424 coq-extructures_0.4.0-4build2.debian.tar.xz
Files:
 d31c4523f3bf48ec76e65212f0888b70 42179 coq-extructures_0.4.0.orig.tar.gz
 8cffa58f9c8418d28028b0ad7b1a7d25 2424 coq-extructures_0.4.0-4build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAma9oskACgkQ808JdE6f
XdlWaA/+J/kgdg1hrYiXKTM8XT3sc2rT72wCfyCWfQGxmgNSbTIzYyk9qhPKqsPR
txpiy4Z9nYvhZhSvE5HnIM77ci3UW72dJcRZqLEpN9IrgkxViD7ZLia0qoeV+6nZ
b18t+xY7eXQABykSTN2tdEKFfcrX/DYRfDWiqL8JBNsTWtbLpaHnEttlMmoARHlw
zuTUTM/okpUOmJXdl1JxUwOTZ7pHG2wiesi8ZDkMB4iumiZNJAfJ7PQDYK1OWMVn
InzSNCBR6IHcul/i3l3/LIyfRM/NOknMwAjMDPlIs6x58WZ8R6HWKORYGTq15U0R
a3LBbzOUxVUxYdeCDzLQhIX+ngCny6K9QFd0Jk8GbFOgWmQezkayJa4OX+0blC/b
ZjSIQT9RvfFNtGjFCyc9SMBTV+dgJFMOoFqwBrKsoaeKYxDXDWMBLoG3jDR/JYQx
5DgCm9z3j8MBgDn2Z04GD8Td/VPfLqL5x+WL8Ix6jYlhMqYshJbyxdHDDSq4Qa9f
lzlYBPAuaro5VXOBTjtgPLAcKZZ5VrxMWwCOv5aaFAigA/LsbFIj6G2r4ufbPubV
gfD7qPt79S8x7EQZEtUEpB9yKYvndGg//sp4jfYhfvzXxhRsURRNt3IPX8K9Raek
22zMifYmP760Q5QLNVg6SMdhz7Dajdbeemz9f+zXfqZdQwKWbUs=
=V5Nj
-----END PGP SIGNATURE-----