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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 1.5.2-1build2
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.1
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:
 f8254751e1f9d4adbaf5e726b6dbf2edb03893c4 64753 mathcomp-finmap_1.5.2.orig.tar.gz
 6ab4a9fcd739cbca01bd40ba01ae6fa9b0256ca1 8772 mathcomp-finmap_1.5.2-1build2.debian.tar.xz
Checksums-Sha256:
 d0a7639425645d770e513b63b9dfb6b7eee11eb01548427c40e3df7112264667 64753 mathcomp-finmap_1.5.2.orig.tar.gz
 24a00a3e409a4abfa2814edd0957ad3068e6280d05264afd85f0af6cbe18e43c 8772 mathcomp-finmap_1.5.2-1build2.debian.tar.xz
Files:
 4ebf8456ed4090e8cdffdbd8e2400def 64753 mathcomp-finmap_1.5.2.orig.tar.gz
 b9d2dfde29531557dca48a5574d77847 8772 mathcomp-finmap_1.5.2-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLGwYACgkQ808JdE6f
XdlvyA/+Jsm87mo5Zc6Wgtteq7EhUC8MwA7K1sgw1NlSstaDJOOEhglILkOq1xvv
wNLADh9k7KibyrJKKCV+r5s9ZiE1Re1OaMehSYkJ0zbcbV8ImbOEoh5+/B4o8DFv
CU9eGpVLgDdgL5asel1fpoTGh7CkzU6oxd+j1AIcYT7qUSnJ/8ptLSpVMBjlBhE1
4eIYNp30+ijz9bCWUzr3TgKRRSJOOtV5ZZ5/hUq07RJglCy58XuSl3lCmhTvo7vV
3y3CrJPSNMf5EUiL91ByiM1D2a3xkhjPDGYag5QsHZ6A34hkxMKsEHfvHgDf4Pwu
EdHf1/sDtYLCpuHS2KorMcoxKAAL3t6PeH5SQpnATJXVtUrcUzGVF7vFl6fyMdWr
j5c43g+JkakHzJ+9KXifBQR01BxfjPtHhZvXtOn8GicJrOjQZo6kORwRBxcI6Mkq
/FzzJqBhOD7II3K2pt2mVnQVod9R5A1e4aJPZbdQdab9EQjTJ2s5ySkebMd3riRE
tXoprn4D1CiY4n2NFdyqFC9OPzIVWb/DQImtRJ/JMiRVeA13+7FW7a0FR2PxvozU
IJ8YUgvwaEx5wHYrY1nE5UAiDT3sbG3+Y+QK2uJwbNKJGthgdC23a0e+LV+rYVHq
jyQgwDXLzR1Kdl2vSjjdr1Ydc0CAAConNQP15GAPPgMY6xQMJPw=
=0a7P
-----END PGP SIGNATURE-----