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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 2.1.0-3build7
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.0
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:
 e37ece54ee8bbb7d2d32268364bd2a9e712afdc5 59519 mathcomp-finmap_2.1.0.orig.tar.gz
 43bbcb3bc9559bbf1be5eafba6ef46a73a07f9c9 9164 mathcomp-finmap_2.1.0-3build7.debian.tar.xz
Checksums-Sha256:
 ee104afabb668cd585219109731ffaeb9c51a218c320b2638c86463cb8bd1b05 59519 mathcomp-finmap_2.1.0.orig.tar.gz
 d8dbcb1bbf6a3de2efaff2d09eda14183d12fd705e7e8d2d3b215c524559be0a 9164 mathcomp-finmap_2.1.0-3build7.debian.tar.xz
Files:
 cce9e590bc1d7d1f979a9ebbf4ab0715 59519 mathcomp-finmap_2.1.0.orig.tar.gz
 a7d45daf2bc2ad45abad669fa95b9f41 9164 mathcomp-finmap_2.1.0-3build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmg2w9wACgkQ808JdE6f
XdkXlg//fbbr8LuHhJC3m5UJ6wROTjRviZQLbqA+914RLL2CFkiVmUBbhVNOWx72
eG6Ys5fMGu5xQvR0nL4jwjj1iP43z6uDjqA+t5VmErb+NroeM2buVXrsea/GeQlc
Sn8J2C6Uu6jayWWBAuZpTUFcyiiqVECKFFweTxahXGE4ksr8xi9uT3vbKKVPsc8O
aVP97pk1/R8vLsGu8h1uw/IdtFrFOchMMimvTR0ornBYgZmf8NGj/q/aDY9hwOwO
xeWOQGgg/yB0xZIdjEUQq7zEXAsXJm4pk9RGPGo5pgp/bhLuY1r7x/mOoI2oN91f
caa7m5nhfM59HZqDwv+oWzSOk2+SmgDoelSv/FU2Lv38CK/hI7+qf3VurJGltRDO
ORT9AcphzclpI42+0z2ldXQVnNTaF7fYn7By0k2QgwpBGLziat0sv6JiVASmHWHD
B549AR29xOTATVyn4RTNYHCxUcVLCFv3OdBBybiNyGV9qrgZriAfCONLSMBDUkdG
NA+Xo8os9gSOPEZWd2zEiYxh6B3XKU0U3DI+SHPqsEoZON5TXohvXtnDYiOSFwPU
JEdVAcD9mCSlH82jGOW8NR9ORjyZ6G4Lqqr7nivrMpAEn3kg9VaeOD+VE69H6uvx
mJgin9NBIQFb88dNUE0vaHBbiWecfZkFbJmM2oyruZkpSt4rFNo=
=j6y2
-----END PGP SIGNATURE-----