-----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-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.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
 084244d8644945dc581da6f0d7eca4234f6607f4 9256 mathcomp-analysis_1.0.0-1build1.debian.tar.xz
Checksums-Sha256:
 73a209ba650aa849d7dc45145fd4930d694fc625dbcf1c0facd04fd8809d71b3 1174232 mathcomp-analysis_1.0.0.orig.tar.gz
 90de46619ec86897637840f47922d85843eb7b21b160d6b88019ef9d1d2a6c06 9256 mathcomp-analysis_1.0.0-1build1.debian.tar.xz
Files:
 e5bd3ec2addfcec3aac3245836a7c871 1174232 mathcomp-analysis_1.0.0.orig.tar.gz
 0654b4a711954306cf4ed6a6d699cba2 9256 mathcomp-analysis_1.0.0-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmXP/YgACgkQ808JdE6f
XdmLwg//dCsG5g+DrgVNkmVKMoCmKxMTMZWXpP1GEOvEnCOwJbWexsLLGvb4pptC
SQm9zK6pzEzDGJ+wg5U7mSuk2ttJLBJvD5QMPcbnW2cyxNup0fTdIpe/veZLISKQ
cD96Urh8bs9DSoHD/cnxqo3SECIKthB9y0UFS/VSYGTZ3QqrzkdaOb2vUFRXCh1d
Hqc+lSnjFJId4R8G3ZPXXwHE2Rj5KecsgVHL/FRFSGp18p5uxAERBiGcwu5hDjUG
KOQDvwpV0sjIVJmALVukXq4MAfCfkgxvQkNFQ6QptD4C3os+cmBueVvoTUFv9NGJ
KltOtT3pJ7OEBz80AEQAD0CnJthTgX6OU5HqJ9POVM5SPGjZoTyjQnGh8snYt1Qk
2ehSZJVznMZZ1JoCIClfjb91MK3PuPheEj1aOsq163CeRjTXmfUgDLkCirxCWzDb
fvBHV8axOoKgNNEBH0ysG0NBNIeGJ6RiQZZCFNj/BN1ZXGjI/CNy8B/V77v5qvBP
P+dvmkdlF14Ttdu9fFYhA2rpoegwRNkLDqf52p150FfcF5fDPhmodH5kjVYyERA+
UggLhZme8IEBGmrsbf/vdE3D7GqtS2q4VJLMuACVhqs+LB8i/hMyasudh7uaVxCi
w/GH6rh6W+s21bGrWVfDkLBRIt5HXrtKWF9vYk/KZudTw5CuULo=
=KF3D
-----END PGP SIGNATURE-----