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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 1.5.1-8
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:
 25c2a40ed57d5dda6ee54833c482f868f099a1b7 63804 mathcomp-finmap_1.5.1.orig.tar.gz
 294f57cec9ae7fd2396595a10d1b7b034884af7a 8636 mathcomp-finmap_1.5.1-8.debian.tar.xz
Checksums-Sha256:
 beae8e94b7a092fdb47f715384ad47716841a5e5925390426c7bfa3223f3b39d 63804 mathcomp-finmap_1.5.1.orig.tar.gz
 6d42a78ee2249260b64fa5c6621301ed23c76fb705601a4e52a9caefd3564118 8636 mathcomp-finmap_1.5.1-8.debian.tar.xz
Files:
 65b16ece6ba65b44e24d55b33d50803e 63804 mathcomp-finmap_1.5.1.orig.tar.gz
 4a9c8f840c0313be13f5fe221dec9ffe 8636 mathcomp-finmap_1.5.1-8.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLD5bISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRJ/0QAIdyvckXNvHQ9berIO079MPOiOzU9VGU
8qCpyLojwONN4EdjpHsggCGvWUVhoiREn+bx1p2EpCqqLL3ytt5B6XCm9nJsjYjd
3iyuALh1fuf/pkyXmKXl/PtYLCctUDtszbOK9oHY37NV90ePmoPfSNQol3N6NRAW
IzNu8KpDKiSOnlvxrnE03N9N0mpnMbc/mSfUW35hDK+x1axnUp8rTAGvxDN6q3DF
d7J23C7fdr3CWXLT4/OGz2d3CgnH/ui2SgTZtcqbaZjZr77XXJktYv/Stt1AYA3F
/hDGMDQlkZ3icC+TYKo/7CpLadhM1+drDjhjfGy/W3hUd6VEm1semwFX5rJJpIss
vNvX/QByIVxcj6VoTQP7nvH75ddqF7hg5NI7VmZIdJnkS28Sj+Cp+R5iXONmXv0Z
kApuVlW4pMJuAEtyCgTjzoJcpBNvlclCCnXsVRV71ljeDTnGeCjhWVIOO+vUbZUO
1h/3qaC+/oy1pD7m9S7d/3KOmh0Ti/K4z0VRYmCzE85ukgqaKdhNQBm+L/gwveZm
GyGsSC++Lz2bqF7wmO+8IAhpsdfE4PbXubBWHqSUzIHde3Xo7VPbthEop8EJN24l
ZVQDznP4DEb/C0idIU2V+0zUkIDYOMXNfKYn9y2vCH3FWGn9g1oqLB+v7VBEvfPI
rKY7eruomyIr
=m9QF
-----END PGP SIGNATURE-----