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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 2.2.2-1
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.7.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:
 8661fe5ee4488d9739247c9605c03e431b7aa1ad 61790 mathcomp-finmap_2.2.2.orig.tar.gz
 d090108b6fbbd04256aa413d3a3d1f388f96f63b 9080 mathcomp-finmap_2.2.2-1.debian.tar.xz
Checksums-Sha256:
 a60819d4fee4415b9e7c49090d648a80378c5a4eeb62f06f8fdd7d96ebaf93ee 61790 mathcomp-finmap_2.2.2.orig.tar.gz
 a6c6229e07900654c76d2672e0cf4204b5789af92d93c4d4c3bd095ebf013924 9080 mathcomp-finmap_2.2.2-1.debian.tar.xz
Files:
 9220e92849171b7c8cb470c78d349ab6 61790 mathcomp-finmap_2.2.2.orig.tar.gz
 f583c5533c4334fd86bfa2a998619881 9080 mathcomp-finmap_2.2.2-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkDECAZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUSl8D/9LqFn82dI2xAKR6GuSQNoj
uNu+m1IVqffuozPv+LdeNmohkDSCweHw7PWZGOudTqHe5DJW6sj+JNfMgLXy9IaC
Wh8GOZoJK2fHjlePV5iRrpXp/IDiEcRAJMGp/vNSUW86D6ycYWb+J4WFRMC9xAJ0
0pcMqjdZV2t4WEx8b8sYBxlgezfj3R/X/elo/UOYGPO1yr2WvoafHt2onsEmQkki
B4xqa306Xsx6RoL/OPVSzLUyMgWrbZ3t5fV8HZpYI6NdMfCm85oPYZqLVovi4mMv
a7sj63AmHSR5mS7Ky9Ge3DFRwcAa4KXS9vPxszD70jK956aFG/n73oASlqotqbVm
8oUHqyZ7EE6WT3aMELM/U2/tAS391FAwcaUvt3cZHiufu5+Am940FfIqsV2YOUh7
spqct09bTANsd1bkqSsIXKhBiegNNktDjdLl0XsyVWp+2Esuu3FTW8510D+0zOpU
v/JIJE310ib1TFzMsXREw9a/yjt2QAppKrW5FD3t5L0Pm1BC4E7OIMptuSJfYnuk
0qlIFKVBMdUzhlH6WdBdWVqpQTSXIHLNg90bXxZ+s5OlpA8OFww+8eboRQ2r+4dU
fW2sNaykHWvMTcIKk72clZZXdditurqidnx5Kts6FrmRLcKh4ajzdg9nUizajDnI
T9MX18uDKBnb7l0RGBPo1g==
=p74p
-----END PGP SIGNATURE-----