-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-9build1
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, ocaml-dune
Package-List:
 libcoq-mathcomp-bigenough deb ocaml optional arch=any
Checksums-Sha1:
 fb23236e373c0cd475e7868940b5ab3a30c4f482 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 16734f2cb4f88e2cf7fda5509b8bb3b7c3310de7 8716 mathcomp-bigenough_1.0.1-9build1.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 c8150c8a27542adfbd754a1495120e4c77d08a100e2fad23338949bc37383c2d 8716 mathcomp-bigenough_1.0.1-9build1.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 d214a18180d06ebcfe776eabe5704708 8716 mathcomp-bigenough_1.0.1-9build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmS+r6MACgkQ808JdE6f
Xdnf3g//fKs1pDA7sx8S9/FqIiL1/NtJn138B24ejjAch730ptR4Tl9XiK23Cl0I
3gPK/q0+blYPJfE0DdwRlmW1H7kt3HDQPMHOSI2DNXE/2dut5gRLllwjtoSNcHsd
2a98ewj3JjkhWSCGVstskw1oTg3xIsD4JObVOJJbrg6dDwwrZrVl1vIP/J2HJMvA
HXCfFNH//rHoUbmtjdKdJ6JQQRPUd7Bi0o4t6y+uLLohsEu13j9Y3VgEvMaOYpp/
7q82dZPDuCSAxNa9FJcpxainRmzV4qgJzJm3N2x9Av3e8vyA7hksKy9cTyTlt112
IrG8/l0sLA0noPrUtFzGM9x+iHWhd15kMG6AJh34WjfMUArSAkek4AEcFBiajprs
emvrsRwCPCY0IM3A0tfRMfekYk3IsJ0RoP5ej+0Tn5MlL17qa6dJTyU1ZSJMuG4F
x5JuhKj4Cvsbvdr7tPoozVttSfmZYCzX4abRNHaU+6frd+rKVpUtR2/X33Raq6gx
0BtA2kDQ8MXqfJzYhuBu+91HXMKzphJWlTNVL0cuVuqX7rRWIv45gtjhNwSik3G8
WI3BQEilesr9pFgEr1OODa3vCgP5PVssCQU9S71Q6xi/UgUEjjinx9lHrXHWLBKQ
eqwwLx5s8f5ZtOBk5ssZ/fpS758xQvK4ux6iqUdhsyDIrPaOAdI=
=WHF4
-----END PGP SIGNATURE-----