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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis
Architecture: any
Version: 0.6.0-2
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.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-analysis
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-analysis.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libcoq-hierarchy-builder, libcoq-mathcomp-algebra, libcoq-mathcomp-field, libcoq-mathcomp-fingroup, libcoq-mathcomp-solvable, libcoq-mathcomp-ssreflect, libcoq-mathcomp-bigenough, libcoq-mathcomp-finmap, ocaml-dune
Package-List:
 libcoq-mathcomp-analysis deb ocaml optional arch=any
Checksums-Sha1:
 84a72466d396f385b4955a9bb5934ab0a845c449 717379 mathcomp-analysis_0.6.0.orig.tar.gz
 48e41cf3de8ee0aefcce47d54f86c792520ff325 8816 mathcomp-analysis_0.6.0-2.debian.tar.xz
Checksums-Sha256:
 1fc0252422592abec0e978c9f49bde752f2f38ae5a61ad0ece68446efd29730b 717379 mathcomp-analysis_0.6.0.orig.tar.gz
 d6b5189e9dbb12232796150a47f0616b7311021eb32407fef4695cc483cda8fa 8816 mathcomp-analysis_0.6.0-2.debian.tar.xz
Files:
 f033cda83fb712a860ee32d67c1f4542 717379 mathcomp-analysis_0.6.0.orig.tar.gz
 830fea42dc494eeaa145277c0b1a9590 8816 mathcomp-analysis_0.6.0-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPTakUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRF+kP/AowEtFoQAgjJTgRav/JF/qF6EAlkJXF
4TqHr5UiHorXLe8OiCp/mFvyubkazM4P8RXLC4bdi9dgXeWX9Nnwpg4gpSkx3CNd
8QcWxqlidIvHZjXMbNgoKYLh8PMlZrwgD4UZdR3vn5DJCVr0xEHKnc6AftfuQN3H
97wI7MT2ZdpGDGIebeYby7abBIBV5aH6XWaZd8Ty6SIAb0PV9JJctFRJdl8HVlBi
yTD1qFzFamKXo6RjMEDHmqe2Md5dOctaGd2UH/oVkrIH6UIttLXESciyVyabOZyu
Jf2QuBqF8y83wLPVhUojo0qYyMfm/6OgAu0NRsXcVPaN4t6K6jSVrPHxxITi2Egy
VF90Y2T7NRB2Sdr/4YZVygwqFagtVdKLFwkatT+Z96EUYeRd1ADplAri5cS57QmQ
l0ry08nLUjoabZWMZY6h01rDH54CVXIvCW6tiUKPopEo7J2PjCnDf+CBbvwizXCs
ZRcNwphG+rn0lS40R9TMuFI4XMbrz4Evsb+PIaRPSc4LMmX66ijOcsOArwtIlGI1
qRtCPttAbPqyZWHRrvyAYXOvJtB2y5zTZGjCKmeiGcAhwrk07e07m5ar/UXcrzfd
Jw3c8Wz/GfvtZ1++5ZBo0KYRFMP/TiIhqNrkZdnWCcNSTT8PDf+6ppcDHoZ01tuD
golOBVGq5mi5
=QBc5
-----END PGP SIGNATURE-----