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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis
Architecture: any
Version: 0.3.13-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/analysis
Standards-Version: 4.6.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-analysis
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-analysis.git
Build-Depends: coq, debhelper-compat (= 13), dh-ocaml, libcoq-elpi-ocaml-dev, libcoq-hierarchy-builder, libcoq-mathcomp, libcoq-mathcomp-bigenough, libcoq-mathcomp-finmap, ocaml-dune
Package-List:
 libcoq-mathcomp-analysis deb ocaml optional arch=any
Checksums-Sha1:
 605efeefa23fa40c7c79292b74c249a6afa3d9bd 513213 mathcomp-analysis_0.3.13.orig.tar.gz
 21c0651aee8c344517c48563c348c1f6be9f08e1 8276 mathcomp-analysis_0.3.13-1.debian.tar.xz
Checksums-Sha256:
 422572233fcc00a812d853e62e83090718908bb296f44604a5762a6df35931de 513213 mathcomp-analysis_0.3.13.orig.tar.gz
 81efdfd1e282327571bdaa4fd90b327202ece06f6d93d10516500de96fa4a04b 8276 mathcomp-analysis_0.3.13-1.debian.tar.xz
Files:
 ab04c94e8db5319b6630358393eec3b7 513213 mathcomp-analysis_0.3.13.orig.tar.gz
 5994a6a75efa85b2b1fc726ddb2c24c4 8276 mathcomp-analysis_0.3.13-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIDvNISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRKEwP/jpn/LF0uiBh4nmUtauiUFKV8Aej8WQY
vO8h8DAIs+LTAQRqBrNLCNI5qVoFpd+RfWBzqpaXB/SpHkeQ6lwkhwLctbsl7GpT
p2f9wjFuH2N3cHBQ9N6zGVTM3uX4wekG4NHFZE3NMn/ZAg4+eHAmi6Ds40oaZILq
Zm7XWac9AusPW5D6s3EGz6bSlXFWhvNiIV28W4xbhmImM81SL41eblYbrS92kkvL
gHyz0N7jNJowE0XmqqahLBrXkiSlk5e3yL3R+AsPOBVJsH7k5S2yP5sJWMvnTvHc
ZL8WeZs7uun3Eg9DlJrsMhraN6F6yTXKMwb4e57k4b+2BSYqETQXACb8qC1pFdiq
BdgUiHSgnBfHL38mCdw9lswG6Fccl3yvKyWRqaXVPTPXto63m5OFCsOVAKWpaBJ6
w7y1Yw+vRroNREfI1hOukeDhQvTLbMF6CgLFWfj5vubWOWwVHYxE8qqZNzkK6jpL
QhEXqNkVEefWasOmRIkFZqsSrgyvn9uNj/eb8Gw/2K7fLCdG96Wje6piNCTpq+7c
B0itSRXFdyQX8C2Are3Y2bQRkxhPIjl/B/TAFJcibFHH1uF3HdMiY1o0sC5n2pYB
tF0HW+pXRcu0gMya0pM5anntaa6mhbzT75Z3Y+Lcj58qBQ/IE2d/fa/PYngEwdID
h4SIREtUKEo0
=70QY
-----END PGP SIGNATURE-----