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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-14build10
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
 2b2a8a848f898fd47770978acf9dddb4eb8e29a0 9032 mathcomp-bigenough_1.0.1-14build10.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 be184706e47cb20b28cbe5afba84e627b75779b89c05088128cd8a9607499538 9032 mathcomp-bigenough_1.0.1-14build10.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 3ed781cb3b4dbfc1a9c62fcb3ad0a03b 9032 mathcomp-bigenough_1.0.1-14build10.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmdldEUACgkQ5mx3Wuv+
bH3oeg/9GS1yfNg1Ghb/NMdZKOgISXi6Gdtq4ihb8wUyYknaQu+1Aocj91s5//Wg
b5pDtwxNPgKmoR26AdbhXtI2x4/OLSMOE4IRsnBhfH2tuyamPHIM5/EaJX4Ahqi8
p08hGBGW5iiiIGBpEr21kT5DSA8G0cKHnwaqMFj9C1TpTsDoFACJhgDQyydl4XJE
eTat0WewmfivN2g6GKuOQ101qIBG/buFC7a0wAxL8LSH2YrB2e+d4R1O5pBQM0bB
FcPvG/B0yRvbQZo+WUngosjmo/ISWz1RxY9/wB09SCIUYeMBX9+dX2zz8PV+lX9M
8LIIsK7Q97zW9WJK/HEanUhJhq6vYdDj0unqNk90W+hiGg4jQE6Hobni30rYIH03
FNt+bJi7lRZa3e86snbn1uIeKRwWvmtfI4RPjG9L3eHg/QR0hXhAOqKJPz+uyfPd
tLSiAhYSlLJjqKoXSrKSbznr8Iels3MJFaQFN9bE+SdPit4RP53h4G45RDHxwTqt
elpJwWPKdpuKXY6NkZwasXwr7AEwnReaURliM1YUKacKAYstdLV7w15M3ESZknzL
+eQxMtsaQ1i1iBsy6OzDmWkHaA5dgNTdbM9X6Evi4i84wIrwUagdy/dDqeN3Vb78
dRJKljHx6+GyxCSmkoOyjgDhduQK45v+DPLqvIlpSEILUvVcK+w=
=HvH6
-----END PGP SIGNATURE-----