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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-classical, libcoq-mathcomp-analysis
Architecture: any
Version: 1.6.0-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.7.0
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
 libcoq-mathcomp-classical deb ocaml optional arch=any
Checksums-Sha1:
 d0053595f009dcac50c0840f5d084401e18d1d9e 1252656 mathcomp-analysis_1.6.0.orig.tar.gz
 78bf895028551694e09db88015923e5a28d41a4f 9384 mathcomp-analysis_1.6.0-1.debian.tar.xz
Checksums-Sha256:
 bf9fe50c9f062f642ad3d37879ae30f20d1276f93b654aecad61603303029cf2 1252656 mathcomp-analysis_1.6.0.orig.tar.gz
 04c9a7e52acfcdba756d2be8312a4a2cfc306fd7c27ee4947b2910e9a17128af 9384 mathcomp-analysis_1.6.0-1.debian.tar.xz
Files:
 0b259b1177b040928b951c60aae96875 1252656 mathcomp-analysis_1.6.0.orig.tar.gz
 fe106dd02a7bfa2045685cc05287b9c6 9384 mathcomp-analysis_1.6.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9swoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRZEAQAJrRLCDR2OqOsXJqnKJAV9igMI+5nYOr
rByoLQRmaMmRESp1jQIyKvIonfu5q/QOg5NhxozB0RDTk408XsDIO/10Gd9lVWCo
tK7lQioFBRR7k1Ton2114BXR0vBj1rmZEo/knmPXNaMURtt+VpC+cDn5EotW0zCa
f2O94yBLLw0a+YpZmOwTlyVL2+HxeP204TcGRxV54NJuO13/DsLo0A2fJX9/ZcSE
9Y4BunCibObZZ2JNWQeOavh6Ycjm/z8blsUraT9v6i7/1y7vwzPmTVwclcYB7+uE
MRbAHydth0/qynJWFZa/Ys/fWbeD59xWZgC6sidFv8xBhLIEWqvMziGru7tycPlH
s2UyXiK8Chg5NHXhlSjAJz4iVzJP5iIEL+FbKiSl1698doSYdUjIwIOZBi45b08p
6aG9O7qxmuVjCZXl3SztyE5IDq7B/ZKJtHSrPv0hpVGBI/WUmPha7Co17ve/DisY
+3DOyOJ2nH2P2mtojtwSQZqqNkV0AdkDuPUyUt0BjbVj1v+JvHelTCu77wPzf/48
C68DRQYPuOg3WxpKcaKPrA3uproAMU6+5pusoupBYLreXar2Purk6polLo3MIATd
xYRQSg0CBkLrpueS69a2zcn71EKPwK3rlSdzbOtmMzDNrxuxH0BCM9dczR170xQ1
ZpAYKGxcSB07
=gCDR
-----END PGP SIGNATURE-----