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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-13
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:
 fb23236e373c0cd475e7868940b5ab3a30c4f482 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 9622f29260b214f44a069ff3eaaf1b867a408aec 8712 mathcomp-bigenough_1.0.1-13.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 29eac69616af24a3cbc8c976b838152c0fd2eea65ffd9a7abd6ea2841750d5e4 8712 mathcomp-bigenough_1.0.1-13.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 2aaf79492300de4599f55119bb15be3b 8712 mathcomp-bigenough_1.0.1-13.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH5noSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRBX4QAIrnRlDD/rU4axnkZpRXb3d6U6Qp8JQz
gBon+fVIM3JxHc/HAv2dur008vAlIt/Hh6ah13LPKmzsfmAcVKzkZ1ZcjIrPVCnO
3+Y3gz3Iou4LacCHeiRQLlN1nNnac4xFYdF8f1b3DgoJUAkgcoEMXsTz15imRIEj
07ZFojkHV6grm9UmzquepruuSxym4UQk2I3iH4FBcVZVXwvjwBOQY9KEGYVU/ZHy
8NZBBtAEJWNcjSEUOTa7brJxwSvW2E9xXEWxqmfWrppIab/gMvCOLW0CFIfWz600
m4tYKvg/1HEORSeg2svw0yusdctgwVZP5HFVGsvgNspVGefBh8YdWb4hfLFZmq2D
lW1zsgQDisJVa3XKXoDj92JiwZOgidtJtBhOPcjfmvpF0d1cV0mDaUfj61MLahka
qNuTvjMlXKZIz3VQABwqNsJFoOS8UqO+TPBRqkRoSSMm8XylKEZV6DpkXWZeFbE5
qOnKNs9yjMHtsAOws4epR8ygvZXnr2uA1+X+LHCCu+v2YNMW+nKbWhmnU6zL8mvG
Q6CEXOHlJi0LCox3WXme1GFMJB5zEJc4me8PLueCSIkxa66ve/psqHjz4u/3cA6s
zVphm2i6MyFATBrpP/upbYLf12nrAQkt8P9OZHSkKDQK+bJ4i0XLCrJKJoCWF1ux
QXUwVAlN7O4H
=EGH7
-----END PGP SIGNATURE-----