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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis
Architecture: any
Version: 0.6.0-1
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:
 84a72466d396f385b4955a9bb5934ab0a845c449 717379 mathcomp-analysis_0.6.0.orig.tar.gz
 18f22bc4acd82bed21a08e49b11ad38031ca08eb 8792 mathcomp-analysis_0.6.0-1.debian.tar.xz
Checksums-Sha256:
 1fc0252422592abec0e978c9f49bde752f2f38ae5a61ad0ece68446efd29730b 717379 mathcomp-analysis_0.6.0.orig.tar.gz
 6e7a3e5fbfcb18a623f60687bcd2af2acd2595708a5660e3716032b590ba8a86 8792 mathcomp-analysis_0.6.0-1.debian.tar.xz
Files:
 f033cda83fb712a860ee32d67c1f4542 717379 mathcomp-analysis_0.6.0.orig.tar.gz
 dce29b5818c5ad27e43948cbe3a3bb46 8792 mathcomp-analysis_0.6.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmOZ5qsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR4jkP/ixVFp8EEOn7qzoEvlZIY9vHleHgufz2
8Dd0hZ1wOit6LWyN7Pg+q/fQRwUTolHZ3saYx8LrVBPy6wth27Jr02ITe5gWc+zM
trBQTUf+Yci1Myb5v4iv+gQrZp7+l9h3BKB9kddY2dXEM9g/a7S2FOiEvq3YQFf1
Tpt+6KfxmT6zdHfaZ161K9YuD8njZPUV8prw4BI7+ih20FXPLwPhaU09OH1XEr/r
Xc1GjRWRAKnBEmjhJIFE6KCAczfhdTziH8fk6l5gPkrHrH37lSRmwKA9LDyKLTUn
Em55PP4/1LszbVFg75MiNh4GTBcvUmGNlZ2mfOhywt1Up++5NdQHypUzfoHHLfS0
qRcfTLVZDbncYliZXQp7humXoKU1xqnNN/LJjgd1Ftj2okJxRjMkQkoVlX/NpEI6
m6+2GOkqGmDMwNjzw18RVBqKJWRPeywe19FzAgxEgjh9prC7NBi8r362xdsXPewz
ufah0heyioc8Xskjh4Bu8TP819oTcGhPzH1xQmoRQg6EcPgUBsVTENwqac34wVGX
SakhIslQ8UcUljV+/EruiwuD2pyaqH/w9eclTMGAMoISI4pL+FaUEgVi8UzkeI+i
gFlfzUZ2JhI2NxHb683/vhzM4tzTl1izEFXQVNvXVRlKNALUf8bFuZfRXi48CDFQ
1WgEs/FAmsmX
=IvbH
-----END PGP SIGNATURE-----