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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 2.2.4-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.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-ssreflect, ocaml-dune
Package-List:
 libcoq-mathcomp-finmap deb ocaml optional arch=any
Checksums-Sha1:
 5c48dfe25ed24c782b1cda3004911492e605a93a 70990 mathcomp-finmap_2.2.4.orig.tar.gz
 d5cde3b359c1df552ce2403da106fcbd41f1fba1 9092 mathcomp-finmap_2.2.4-1.debian.tar.xz
Checksums-Sha256:
 cb160fd405a46ee0ae7813d6e3ac4748cfa41511d6958a7280b68ab71ea12167 70990 mathcomp-finmap_2.2.4.orig.tar.gz
 3e3b604cfcb0e0a1a1c2ac2dcca895e7f94b82b8ebe477d1ca34fd44afb2a5a1 9092 mathcomp-finmap_2.2.4-1.debian.tar.xz
Files:
 eefa8908cc80618e248cf79886116145 70990 mathcomp-finmap_2.2.4.orig.tar.gz
 ebd5a3e105d4aefa48786d4e67cde224 9092 mathcomp-finmap_2.2.4-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpekuoZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUXRSD/4yGPVsXLEU9dZsIbpNLDkG
KqOMAE5V1xiYbjKFAXW5aAiJqDT+NmFO1ZtO/4A9dW0kVnGSSmTVCrfPUPvFIC4B
rDDDpZvrAAWE03Ebh2BPMQrKehPsg6M2EpJS/1RTxHdvDEpR/2zZafQo0t7UrxYI
mqra2kCVAITCjcVPvDS8Nk+i+tmpr4VYIvTv/fcFnHAXo0oyMIrBKZsPUcjkksXV
u6Ft0PpMvHYsj+9iYI0RMpy/x651vqafJEjOj3GOihaztvoguxfzN09Deu3uAiRG
XfY9q1e1E4LAYl1+6DVFwFK5aA9ddZDvs36L00+YTLmVXyrwkfXhs0dk9rbTwM8I
QiU7tKHCgp4fVcc+2tMOHGw2DrI2HU9XEZQXAGkOGCyoDjbYM5F/Vu5qfyCpcduB
J1U6rRsVYhtVojAeeW4yRoZB5ekD+GONAfbBUYHFJcWEoBUHc8lb2vP3mXWoq/Bh
1yicznT/9alOXUPcFMqNlpk5HGQSvxzVjQEDf0zEdFYXxdhIazAde/AoypoU8Pzm
GOK9IodCsdVV9FdpTcvIQ4jFReTZ4TrXqMvcel2htopT2GJn7jYGwp7OtkUOQVrB
/JvWsAkxZKXwoe9GWzTxLrQhHyzuf9b85g4fO3ZOUCPCVCyg588pnLVAIxogCU14
6J+LOU9IOp9i5glq1WKZXQ==
=h/9e
-----END PGP SIGNATURE-----