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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 1.5.2-3
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:
 f8254751e1f9d4adbaf5e726b6dbf2edb03893c4 64753 mathcomp-finmap_1.5.2.orig.tar.gz
 90026a86ed05614bd4c90351b3b28ddd08e5f086 8804 mathcomp-finmap_1.5.2-3.debian.tar.xz
Checksums-Sha256:
 d0a7639425645d770e513b63b9dfb6b7eee11eb01548427c40e3df7112264667 64753 mathcomp-finmap_1.5.2.orig.tar.gz
 85a44a0736882c299b819cf5637fe4b5ede496ff2cb70d64f3bdd814a5c5f373 8804 mathcomp-finmap_1.5.2-3.debian.tar.xz
Files:
 4ebf8456ed4090e8cdffdbd8e2400def 64753 mathcomp-finmap_1.5.2.orig.tar.gz
 9d4a1c91973ebb87f9a33b15f572b936 8804 mathcomp-finmap_1.5.2-3.debian.tar.xz
Dgit: 11e09ea521a781ef4ff37418050f495b7fd236cb debian archive/debian/1.5.2-3 https://git.dgit.debian.org/mathcomp-finmap

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmS+A/USHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBJmgH/ArmEbFrP1zM9yokEQJqPV5x+kvv0b4h
vIJdrfcbtOo/D6Q+lA8S9XZxw9yDDVIPnkYvxfMDPAHwyvRdOYmOWUZKSGnZPrkb
6C2j9eI+2ZguGu2dVN+1gUEYL2aKqHvqpvuBD62/0B3RfHHWuCedbxC/cIXNg6gu
IsJvZE+Sg0MxKRqm6D7pYvSUutDkVNgTwgUN7dj/R2M/Oi2v4JqYVZob0pKF5f0V
Zk7yQmm4BxixhQbuoRSf2xMj857oBNF94/avNvZ+3hseMJsRvsDS0FQyh2wwSyZ0
q5qcrLUtn90GQJLVq++OeVeqWv64TbUAJ1drAmWzkC1ZuktMHb87qQQ=
=IoKu
-----END PGP SIGNATURE-----