-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-classical, libcoq-mathcomp-analysis
Architecture: any
Version: 1.0.0-1build4
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 libcoq-mathcomp-classical deb ocaml optional arch=any
Checksums-Sha1:
 b8692ba5db2e4a31f1605f6ae169e9954926344a 1174232 mathcomp-analysis_1.0.0.orig.tar.gz
 8dff3b7abce308d14056951d4d5033795d4f3a21 9396 mathcomp-analysis_1.0.0-1build4.debian.tar.xz
Checksums-Sha256:
 73a209ba650aa849d7dc45145fd4930d694fc625dbcf1c0facd04fd8809d71b3 1174232 mathcomp-analysis_1.0.0.orig.tar.gz
 303279162b54bb8ca9f5192a3a803e1c46947505c8354a48a9c34a77c8605bf3 9396 mathcomp-analysis_1.0.0-1build4.debian.tar.xz
Files:
 e5bd3ec2addfcec3aac3245836a7c871 1174232 mathcomp-analysis_1.0.0.orig.tar.gz
 d0123b4506d5aaa4853823863836af13 9396 mathcomp-analysis_1.0.0-1build4.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmokACgkQ808JdE6f
Xdn+aw/8D7ytFiLD+dzqWIcnOji4ION5MFswyRKjMDA+LswFzQegY3DvAjECO1Cq
DLQPASZnNlnjfL2m5/+stt1m8M2TFONBqxZ7MoLSiBDpYcmQFwaFkUSCDJQ5RQ+M
qKxBU55RmmKT7dhrwCA3L8woBo41EOiIGjejjpdDXJOfVU5hXCkq+cF5F/kxUmyq
nrDY1txSv9zkz6hVBAadxLVqR0+2XKXW3/gkraAl3PMnpjON4UbxKyeoPAVWuNWb
UBovEb2KrgHpr+WF7r4ocJwLMWXSKGWyyNgnUo5HecSjJSH3ZbCD0CsSIK5H11uQ
RDFSWu4GKg51hHxKWICjHRzN/Aua1Gud1bVQUtIPlVIw9ckHu2NWScLwgbdeZnof
/paCwqjpW8rJQ30kpYwqCShXkBH3OaP1R/9G5IZiKd2Hym8aTvl1bNaVHqky4Fom
u7ARBx20C4JjmXUJsXRno5gXQtTlHQ/qAei3sdmHxPH7VunKCH/XOSoyB06KzikL
Df2RmsNYtZJ/MpujftabE/ex+JPG1hnAt79VNVj8j2xyNgZZOSHpkniXDIi9yrkc
GMoUXmR9yxu13r9ZoWjhb9g/ICdmNCBbVSm+/Hxskjoc0qwEOTjRgqI54egbyaJ0
3B4gpcqXrXQ8ivRC6gJkSMOcuH1PQyYj6W7/1swbNPO81QqLG5c=
=blW+
-----END PGP SIGNATURE-----