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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.5.0-1build6
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.7.0
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:
 3efc8f835c242c79c98d5eb979313d8a633c3060 42630 coq-extructures_0.5.0.orig.tar.gz
 a2c076434280ca7fbd02e4897fffbd5b9433aca8 2548 coq-extructures_0.5.0-1build6.debian.tar.xz
Checksums-Sha256:
 1b264746c0ca6292ec77486829243c0c107a571063c38cf446fb6520824264bf 42630 coq-extructures_0.5.0.orig.tar.gz
 9296e81a386277b59375ae4481708896fab9ef86d28ed826f9ab74d63825500d 2548 coq-extructures_0.5.0-1build6.debian.tar.xz
Files:
 02535e6858b35f4cbc9a79168fa69bdc 42630 coq-extructures_0.5.0.orig.tar.gz
 9185e8c8cf86ff4fe2d1a32ec8d98d2e 2548 coq-extructures_0.5.0-1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAme1gu4ACgkQ808JdE6f
XdlCxhAAiwIujJr2HXH5NmceBJod11rARzc1qEDQCx5P7hCn2fw8xSOxwqpzjF6t
RWn/V1VN1+3ST6oAyd3ZRDk/8XZxpiW4wjQpNhd5a7kRFM+DCGY2KgUqbCGIItod
QqZbgU2mDFOuy+ZVvauRHBImfMhQh2qcOf2N2Wp9euVs/YXFjlkEFmiHWVPL+6ZD
lJ2ouupAGeaXFjtcubqouH68iShgZW9oPqTd8N0Q7lbMry8ZOmmxNblh+3VN4NKj
Obp6mtrSOaYpBbgBtbY5oWtkAOjF8N/UB/hRg2wU2kMQmLux3uCyzC2UzAtkejAv
Vi5etVoi+Bs0sYQ7s8/nOAlq5iD+RFmRloAFZQ5U/DgnS+JYDfEKiGFYAnSnzQL5
s/KUNXW0SbsDH6YiOA+bibcoarbMyU8kXq48D32UiWbUMGPGOEgIyY6NEkbqBeuU
Pq0jrf3UQvBJvOFFvpNuYZUb23bH6krcTxImPvYfHh9vk2o0Yyh2S9MGnypqkN99
5Hfkg/sWnyb9v7qVOYscIL9IUKHgk6p/+y0Or3sCV7OkCFA4YkooJIYD9xs7VCgr
FEjzUuWZMuhbXpK32hHUKayJIgF6lcck4wk1jChNr30avRpzm9mNVeiFa0lm7sIf
BemA6NhYdKfCy5f1EIyHsNmMGcfQFnmxrWv/OMTQp/BoZ3jhcyE=
=75qm
-----END PGP SIGNATURE-----