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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis
Architecture: any
Version: 0.5.4-3build2
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.1
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
Checksums-Sha1:
 cbd4f794f0d177436b879240ade09d3a2a04be83 697355 mathcomp-analysis_0.5.4.orig.tar.gz
 5f1f1cfbed8951ee96cc69edb38560c4a6efc0bc 8864 mathcomp-analysis_0.5.4-3build2.debian.tar.xz
Checksums-Sha256:
 812a0c3dc36bcbc8269f32b4f73c0d1500361d8dc0bd877373084e005c3d23c5 697355 mathcomp-analysis_0.5.4.orig.tar.gz
 2f14d93e01a7665814d38c3b33524a7d7971aebe735ef6cab04483ed6ccba7d0 8864 mathcomp-analysis_0.5.4-3build2.debian.tar.xz
Files:
 89b6d1f1fb0f887b117acb19cb45a7f9 697355 mathcomp-analysis_0.5.4.orig.tar.gz
 07590d46403fab547c256d91e2f09c2a 8864 mathcomp-analysis_0.5.4-3build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLsdYACgkQ808JdE6f
XdkXcw//dxQHHlpBjvrMrLPq9Kwvq6kpthhVj6JYIzGCpHs9xbVah8j2YcmORFLK
yRQ5HoLrMIPBmWgm8aUg564SW+4GIzjgVGabYvfhj6AHBGI27Gqomx2AotZ5Nz29
KFHmV6B/EEexV2oF5Z+Hqg7LbuLhbG7p77AU/9hOlKhyAOCR/ACun6x/TAh98Xx+
e4RLTd1LIhNzPRd39TEM4DikW6RUw2YXst1fPyKVdxTQ5cSb/EfHoaqqy0SB+ek0
06azz+f+VFEPrIqa38+2bSo/aBAhzqbRmx1XC8oJsMIIIc/pelKqgNmozkzaJ/HK
dP1q5+U7sMAzl6hhsW/34UWGjlpxjWOMp6F1NGwqVzZebjTUCs4fnyTe66XitTgD
r/qtSVXDB9gw1B43IE8bG1Ouzr+qLMrB0vE/1QhmBm/SY7/LbEOwl3feDkds9PFJ
bVXvG53L/xJ6tNKefd4xbd+EG3m+f6PtozIApGxRXqb62lgPE2T28cE78we2qLJF
UJ3YKIKzVT0kTJoY9oFjZHch+HB7dz6eoC3VwGV//MBXbCfnjQAUXRSH8trRzDgd
bEakF6/VU/ErBH8yoNND8Xh8s+uOF4XpuH4uUWkgvS3gk6684CXpYEpHdl/VWNIi
fWrBwGWAaliGDlrnisUn+e3r/SlrYF53Qnopc69znWBL9oGzqTw=
=9DE6
-----END PGP SIGNATURE-----