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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.2-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/bigenough
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-bigenough
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-bigenough.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-ssreflect
Package-List:
 libcoq-mathcomp-bigenough deb ocaml optional arch=any
Checksums-Sha1:
 9586ab1861867744a84b20bc8356540b699ab096 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 b71b8a565ea1f43b8ddcbdd0deeeec643a60427c 8788 mathcomp-bigenough_1.0.2-1.debian.tar.xz
Checksums-Sha256:
 546ca1b1694841499124eb29c2402f363f1c4be73c00946e501c74cf8f7111dc 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 939e37ac17f35f5d93e7bb6f36fa20a4cd45bb28518eae2eacd6362ad28a6faf 8788 mathcomp-bigenough_1.0.2-1.debian.tar.xz
Files:
 456ac59e00dc59581295fec695d8c7ba 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 6e7c11f6637fc0040210ada800147219 8788 mathcomp-bigenough_1.0.2-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmewsyoZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUcxVD/40N78RTyfiNTrTgcDmkZKd
sdUa17iegMynMBczGIDdppvA/Yizg2fOgNnyouXmNP22sUCi9+hTTasjBZ7FUxHZ
NOlvTt1VxXVkL9coegLUiHTFH78pg+05mgqmm2k+4RIGDFi7zHjtmGPJ/fNjBeUj
BX/aWaoIzYtAdXKPVSS4mLUefsjkW0GXnsnyp+CXAutmHPkk6W5pF5EXjkx0vrVJ
0s86vbBPYKZbktuHGwGCk4fkXDurr4v+C3RSwMnwJ0XtBeJLfaBj8SRmXgfnC/jc
DUFpMOGqcn14Q7RqbuDCPKaNtSuhQSW63aIvbJ+5HGWLy6dKhaArLhIPgoHeWSSH
GaSZSHVQX0WbUzYHfJM32MKvZesM6AHpOYG/FeB8f/B39gQK33C3SbeHFsJhER5E
Jdikpv+xiSbWxHgcAwMEWfV9dftkK/NZNkB7r+nax4k3LVW+pQtt3W0Knb2VuOMs
wSixJHFM97+1AvvcGeCkDzw0WBkor5w/e9f8KdbxjMT7TbuvMsvmiH0P8zJRWdhu
PCX2iLKJJO76wQH5Q87Y3KUW2sWa8Dgz7zOqpKTbK1R/5+8n2D2QP9MbDiVZCQXi
vXYWMPdty+FSbR0MwoBLyyunb2DmtNCOUfUJrTsg6i8taT9fwSt0d2Xog99rShZv
9UuXhG1iV2QUI9tRt4n/yw==
=AORm
-----END PGP SIGNATURE-----