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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-8build2
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.1
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
 0b4c3bef8887d89bffbb75379fc20e5294ab0a93 8760 mathcomp-bigenough_1.0.1-8build2.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 8d0c6634dc2deea60fe9b0fd97e9b30ec585838e7049a27e1b0269b639195ae7 8760 mathcomp-bigenough_1.0.1-8build2.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 eac10fe7f3b39b7d29eac7092a8e482e 8760 mathcomp-bigenough_1.0.1-8build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOAe9UACgkQ808JdE6f
XdnGHxAA2VuN7sQEStzmTOGpclrYEsA/szb4SUXK8asVdkwHNcF5TP/6OtBzVAl9
ocHr4VQhmX2qAn4FuFz5uRCGOhGmAWAzLFxPtoC/CI1Nap2wyjupPNg2IIaOE/l4
tdIfQ1iD/Ae771TlbCxRjjuS5BTcMHXEEIgzvYkqM35NzgmgK1cEV0pjU99bGINQ
xHy9HkXG+PwK21QgkmtLD65OHU/6TKBQNvkCf8eTje/jffFPFLmqKzNIYyCC0GUS
rfDB8ePxZWGF+B2+QRko7kLtX0A5/GRUdPEgU5S11NMDTEjRMDv2tzc0ypEVVZgp
cYckvMQKOWxWoUT8f1dRWDgSa7WLMQimeEmbX8lln6f1ODkqco0VLrzEpl60soiB
Vru5efeUcoI3tAZ1PCyHR6U45s/uzA3bezgLnWMmov4YXczy0B39lwRLh+mbYk20
4iflUUkPWPUozFAXPmLu+ciAwCP5h7f/FEgmlDTo8F/u6xfm+dXtM7KP5879OB/g
vJA9eFVrw+HdaGeTvz7S6FDYlJ2gcWARfw1KeYAobsWJikYuuSdx8v95Ijq9EhB6
HH7Fi1KCA8aR5vxvDNvJ98mPfgBtrQ3VWMdNscDU54y4URbC2OgJfb6X2TetlSwK
GNm99f4CdgacuZOTvqOmcBPImOz3JGAK4aGUMYlrtxr1Mp4gXzc=
=tYGJ
-----END PGP SIGNATURE-----