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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-8build3
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
 a39b1444fe71dd9ec9fc02ae402274be8cee6b0e 8772 mathcomp-bigenough_1.0.1-8build3.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 b821b6d3ce7f8813924b444d2f132602c2847f5c647c935056489ad74e1c0e8e 8772 mathcomp-bigenough_1.0.1-8build3.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 b85a31c71277e2a389761948d625f9fa 8772 mathcomp-bigenough_1.0.1-8build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLGv0ACgkQ808JdE6f
XdmLtg/9EKtvwOpi5428mcL39onPZZ7TzEyBjARxoEgLKwIpaLNbGPgEmp1i3A6m
5HhhzJlDWuiS1Hjbx/Gy1esMb9BB1COpMl5OTKTzOoQrbwU+y3A8e3EEFU5ACcGv
TZMOfOED9vWzcObLkYSkDf4zBgZpsZM4LN1dpcyHSCL982OJMp3M0pvYa10rmV7T
ZKdmjGGobJUtE3vHEvN+1JaHcTCU3wApkqjedsYIRyzzy9dr1C5xqzs572h0pXs2
IgehN4NaDdtQPyNGTXaOoRFq9UNDkxQSAm56iF8A0ZN/zP8NvvPc9ATsiyRxEmuD
MAlOJnHl/cS2viGEpSvX3c9qdkf3vHwHAyn2T5SE95T0M1s5+BevahDPzMv8MSYR
xRmxb4q4j0c9LKLk/lOHA44XRO+YZSSX8pz98qHo1EGhpVtlrioSfoj/hyAo2xN8
JDLeyj1vHOKWEPoiIlPdoCM4MZQsJ96wfcS9Yz6OfV8W9Ht0/w3XQkgd9ira3cSP
Te9azw1LUTw/VsSG5dH6WOc3/0T6tttBFK/h4PCNtoDgTwBFaUUc88LRhBIqsjny
Pn0MRqdPsEbC7Dfo2aQUJx0y52GowjcsBO93AAWLk5CcvejR9bTptt68bm/YlWBH
EP13Z1YJwA+KoM9uRA7Z3aQjgvBlPaRJX3PppGjlriqDtyT7MvE=
=KWB9
-----END PGP SIGNATURE-----