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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis, libcoq-mathcomp-classical
Architecture: any
Version: 1.8.0-1build5
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:
 345a25c9b82bd935288f9308ebbcd8dba487800a 860482 mathcomp-analysis_1.8.0.orig.tar.gz
 d5b7153fb8b745a6e6d8dd51b361f7b496adf826 9568 mathcomp-analysis_1.8.0-1build5.debian.tar.xz
Checksums-Sha256:
 b963bce2a3fca42da7412fee8c2c78170f59c9c3a12dd77e00e52c987668708a 860482 mathcomp-analysis_1.8.0.orig.tar.gz
 1cb7d52d317f7c7115af6421ddc142e73da8a27070bc35290a98106325225863 9568 mathcomp-analysis_1.8.0-1build5.debian.tar.xz
Files:
 07eece2ee43d2e11de925e7661e7d677 860482 mathcomp-analysis_1.8.0.orig.tar.gz
 a17552c3c30b0e0ccf1d038cb4597385 9568 mathcomp-analysis_1.8.0-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAme1h80ACgkQ808JdE6f
Xdkr0Q//bPZ6i33r/j+7F9KJMZKIYooU5L83tRKMVoBn9TdnZ8euqmvqGVNI0UTx
ReA1YrZMsYpUPeNFdLv7KnsmaOo+PFDuvvc+ClzwN0UadkI9YJlE43vT9Ri8V8Ic
uH8jiCrLAh5Kc3ApfVxP4Cdn1q3yhytRlwyCFHbeugud3tTBWG6zPElv6cFJ+B8b
hnmFM5G0xQ6GofnPvN1GlFKUwBPaxvKiT6DXTiedlUFXB7g2s0okyTATnH8e0rkG
jDzs/euvvEODOv//Y7HjBBLTlG3cEci3EDPZelWbrjuonJmRD68PwnG0lZdIXURX
RZorDVcj9W3Yl8b4yiUK5X8Sxx5q9E0ulKC/4S44IA/sAzJXiV436Q88cibCtvQ+
Q7CoU5T5GKYaO6JjRBzxRqjFJYvE4afAh7i1mz4arMLqBkxi4XVP0FAk/RUjusyA
Yr/zkba8Qt/8D60w2gem1OpQVzGc2E1fS1Jyyu9c6VzUMmAqpNsa7Mw69uhPPWcw
TxKvGx4Oc6rvAOgkdk3XZr5iMpwTWTxhmWd8lnQz/lkeWEyOyYl2tKxU21aSxIlR
oCcb3FO06NaReBhj8XtoAo3qoPz8RElJMI5Mw2qlH1zTZlsUxsDPMxt84i0YV11w
1mjYFD4Xc/hMs8IUTVscunKdlpV0cFzrNrgOf3mwmKF1WxxPBmY=
=pFWo
-----END PGP SIGNATURE-----