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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-classical, libcoq-mathcomp-analysis
Architecture: any
Version: 1.0.0-1build2
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
 d8e0bfc208993bc50b1a3fb3c5decbfcfdf3bb17 9368 mathcomp-analysis_1.0.0-1build2.debian.tar.xz
Checksums-Sha256:
 73a209ba650aa849d7dc45145fd4930d694fc625dbcf1c0facd04fd8809d71b3 1174232 mathcomp-analysis_1.0.0.orig.tar.gz
 04dbac4ca83688c4e03d8a5a1283b34d1eca27f1ec88e85b90916535985596eb 9368 mathcomp-analysis_1.0.0-1build2.debian.tar.xz
Files:
 e5bd3ec2addfcec3aac3245836a7c871 1174232 mathcomp-analysis_1.0.0.orig.tar.gz
 b5dff6e1e0e69555f2d9b47e1e15552e 9368 mathcomp-analysis_1.0.0-1build2.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmYATeQaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz2CMhAAknP+LfDRQQFECP2TOT7i
nrJe3LZ30qPuZpVZRq6xe6BMJ6JI/paBeUBiEvTqQSIYmYeBehjvt9KfFtn/rN/3
UsmaCdbQ+0Ww8uu9rvHLFCi8x9/A9eIfJBcrUXPERL9+uBUGk/GSNuXbicLc6L6C
H50XsUXddHlR99pD8uqSZtIvgw+ijHGmsSHNcPVRdYd37dmw8cBiP3sWq3JNlQ4X
SSzBbYGvZrxUbuZ1r789DLZuFQzkDdmw/0hwp5PWmLa8z3MIHoiCh4Q7JbxAa6fi
qsel13O3YKzIg39qlVAl3fXrJsNtt6pnDTH2R0sTRX9p/HEtvMV72CDA6MvIVetd
JAc3xdkAboCD9/XcprwRNsBTapcYyU9MYiy2nWDe0FYCNCwJtRdyDN0xUf9Vy3Mk
SQ5bN8KmTnIN1+ELMydwnr7f3LL4WCFd9rSXyx89aG1xytmJZrA720OIjDbXbKRI
3G6p+OC8ZSLl18t4YFcdKWGpwB+QspIKEAY6f3ahiUabfG5ScNNE6Zh0HbY9aFha
3LUjkOuSo/W/+IRQVKTb8jE0pyx1ZzeDiKQSZX1Ang331GcUssptTycyZ2O0TLWP
SbByeVJrFIK5lxjTq8UVfTB8jqUhsnLw7W35H3Xeb2E5oSvZ6kzekagcDgoZf5kj
oxp02MMO94tUrB9E52GYkqk=
=pQkT
-----END PGP SIGNATURE-----