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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 2.0.0-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/finmap
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-finmap
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-finmap.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-ssreflect, ocaml-dune
Package-List:
 libcoq-mathcomp-finmap deb ocaml optional arch=any
Checksums-Sha1:
 44c1eee28c646e84f9d155fefae18c47292d1183 57254 mathcomp-finmap_2.0.0.orig.tar.gz
 a8e25b079cd6cf6e2b669d55a3bb0f6ac0eca554 8864 mathcomp-finmap_2.0.0-2.debian.tar.xz
Checksums-Sha256:
 da2933d0b2f151031d8dbc6141c2d0aa7bdd0a683b33e6723bafb4b96f2cd6fb 57254 mathcomp-finmap_2.0.0.orig.tar.gz
 a7f5b8a07abd78fe1bee982a20b48ff60b77a985ff6b2d410e2b8447075b62ba 8864 mathcomp-finmap_2.0.0-2.debian.tar.xz
Files:
 265e9d181b1f42aae7a326adc7293584 57254 mathcomp-finmap_2.0.0.orig.tar.gz
 8813cf0bb4530742f79d3b9fc5a3734a 8864 mathcomp-finmap_2.0.0-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWs1WcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRrlQP/0ajC8zftFSIAc2dhhgTN1Epc3g7N/yo
5WjM3ul/mKuMxoff1EIE054WVG+HPoJensSe0UDpXzMt7Pbt+tFLPcef0nWvFSRW
1Ihw2UlICAnFuCwcTt+1rTBX2vwwwe9hQuvCGrA9+IV6qF7TzuS67kefEJO1g33s
pIdK1R1gkiNo7xSdY3KpoU4Pnhc3XnkMNcOPfhHrv21t0hk9QrAchyu+C9fKtFX7
p6BKMGWGYapyl8yhwN+z8L/NNXWWBLw1LALqsbKBNYVAjUC8cyB0kmW1+81q/gK4
m9Rejl5qghJHX/bnanCJbsvPoibNtfzdPUaptoKJqCO8y5ETIwk68WQXu5E+WDSs
hXBb0Fo3PHXusjpBcSBKaH58gLg3hFr+XHPv1OPKAuvLPgihd6v96WB73KjrP5ch
/9+VWTbO3UvHyzFhVl/t0vhUGEdF0gFhuo62NerNJt96ZvprXn3vVStg++Lbg6dK
HZusaBPSFzfGUv5k23NlmCpt+WiFWucvH7iQI9Lz04lgim0lBxcVQGcpwd5dOYu4
mkM2R/Y+af51lAD9JO5m7rEzOpqVczH92WIHflKgBQ3tBGvBOuYnQoJbtSLJw8BZ
2PLHR8dlMnHDWfj9s1U0tFnayM2b/TvDgOvX7s2OQa1+gkCQMLaQRAA85YfZxaZE
fXRFyh5qWOgR
=/pA4
-----END PGP SIGNATURE-----