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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-10
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
 57c9360472c86ae98176f81249d9512c1f8ac0f0 8652 mathcomp-bigenough_1.0.1-10.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 54d920b189fe322f8420f0e9b2b954d9384576ad18e937fd522913144b47b68a 8652 mathcomp-bigenough_1.0.1-10.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 60fd65e80e710c4a3ef68172f32a3b3f 8652 mathcomp-bigenough_1.0.1-10.debian.tar.xz
Dgit: 2c0fe91f9ef0c2a0572ed81e76e6419b6c1c01cf debian archive/debian/1.0.1-10 https://git.dgit.debian.org/mathcomp-bigenough

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmS+AUASHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCB4PYIAKYyr1TzB0/n+8zImfcTrm4Lpyc0M4m7
u84Cihb2BJxHhK22mDuFt+w9K6yem1Fnua6b2Rxfsg4ajDTcPZU20HlCq7G90OgE
7IBMUQxzysApv9bQqxhTLV6BTQ/J0rDktQedwOMZuWyDXhfG/6hUyXPnTPBUbvPy
nt43Xi3xnX4rirLAL9f5FPjV5geLtmap2pm4xcvhm4eXQyj4dMoJ965L99Swo6cn
qOcOVWAw8ofmm8eLJiELrvSXHJFwZXqzzfGOgwTtTcMyIXdr4IkkAgM3+pxSTMpg
2r+6wrq0crXPopqKEjLFZxaeZlZeagT5QNhq5IZKX5xpZraBEyKsoQc=
=QtHc
-----END PGP SIGNATURE-----