-----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-1build1
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
 933160b81c7fbdbba7b110f56532e639369d43d9 9444 mathcomp-analysis_1.6.0-1build1.debian.tar.xz
Checksums-Sha256:
 bf9fe50c9f062f642ad3d37879ae30f20d1276f93b654aecad61603303029cf2 1252656 mathcomp-analysis_1.6.0.orig.tar.gz
 fcd88e2fa79a49a6e3c167c4bd582bd8fa7ef5395c57168e5276377c9cacd19b 9444 mathcomp-analysis_1.6.0-1build1.debian.tar.xz
Files:
 0b259b1177b040928b951c60aae96875 1252656 mathcomp-analysis_1.6.0.orig.tar.gz
 3721eed37bef95649205faae0227dd7b 9444 mathcomp-analysis_1.6.0-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmc/UaQACgkQ5mx3Wuv+
bH3XjBAA2kJRrxgV77wTrF/X7PyCy0criNMNbd3HeDUlSarL6RMXPtXecqe7Cnfs
lGW9O81Xsd74O93J90w3wMvEA9cDGoMvP/CKIihaOcZTMA3upMtKLIxgU3RctePO
WB1SJ94FcyzB3SbV+gz2J1fjkPRgSc1wJvgvXnkSkQ+lGiB6EPppHZk29FfH1C86
iqPCVuZanj/Y7aCK2TCRnQDqmWN7//e09hkLgbmrsz9cZkLL0wK+CNfAGUOhCyGq
PIWTQEsSbCUb0/nCz+YkuMURwxiiLnahQmO249WGEHnIVQa9NgKZQTZSe6A31n3J
ZC6q0DOrmTTuYGwBDeG/0Xg0WsWl7Q+I+DSVLPskmItcgAKw62ZcxoMxlgKCFBXG
rTdsE56oTa4MzvtBIgT19ec2fIVgdFXVuvHzJL57COgE0RwRgSJk4lGzvz5ESfGG
suwN/mmwlcKiUc3Q2P0PctbSTPxQ/M6LZky71tLK/kzPJTJDY22YIHHcpsZ14fM6
jc67JwnX5/IvbMQ+XC48VttKjPmDe/tSG9eMcETwFu5rm2CwbNH13HjO8hxCiwfX
m1D6tTCI6J7vHidsWR9mgBVp+762yCR/fcPpdv4o7N1FhS9tUj3c4Lhwm4U1huUN
yk0DwAkubsTUvyAyyD8mp33ruh+X8RpVtT6ZcgV5OiYfpP9D52M=
=AMDK
-----END PGP SIGNATURE-----