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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-13build3
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
 94aaefd14d1651e20f164f6dba765c0cc367e83a 8808 mathcomp-bigenough_1.0.1-13build3.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 e7366a963e4af77eb90180916fbb915b45e6cea237a6775dc8e1abc295daf45f 8808 mathcomp-bigenough_1.0.1-13build3.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 0f9d2ad5d5a5618d3491f6cbbb06014d 8808 mathcomp-bigenough_1.0.1-13build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZeOJEACgkQ808JdE6f
Xdlz1A/+JUHR5MQGeThJOX9/moZrPVmY0Jftnem5yrAnCnsmc1e859OfiM9ZAufQ
x3+ns7iYR2ocZJPfvhBFDtjvX7PhvVPQZDbM8Ysx/3QBdG5B3yjWmJP0UK5CCD/o
jU0nr/AIP4Abi3zd8lAZgN38fTungbWthEjIfcl3k96B5p0mN4Oyv2RBYVlkbt/1
hhA9PCOFvbbpLU+aXHBY00BjnftjCLXpImi/qTz/SgmEv4+nClXnfwHaLbngCEf0
B64IaJJTWt61LfrI8Rd63rhHiN6TLCJXBBL7sv6jT88QOEmTVskxvO5iECzJANmV
ttWcycAk3DgFyMKvV9G0XDmBGQWhS8gcsw6vje92Ujc5X53ukVkFQUD8ma65ngL+
WaN8Q15BxcOehmUnhPJeEFkAsmSA1Joit/liIemvDxTKqL3j8bxY6qkYbKLwcglq
z0urt5nj1lLEP4P5r75GUBs6NcDR3Uq/0brqM6iuqWVfSR5+RJv+SsGVoKzFuU9Z
M2TGU3aMSkFClOWgY/hdFm5k1T1VOoDn8ZVIS8EvPnhkft2IjLHzMB1nrgzDPOnF
XItHLJKAbXUrFeJz2OWyWHBgjz2VhPrwIdVvOtnpsnJ/KcLPPTjrDOHzlyXIXsVu
8Sg7Jf+OWfPx0orGWEHFGOJk1LM2uk23/+Msri2VyuUo7ua+p84=
=CVaf
-----END PGP SIGNATURE-----