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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.2-1build7
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:
 9586ab1861867744a84b20bc8356540b699ab096 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 e8808fecb161319a01203799c4f9ee753daaa772 8996 mathcomp-bigenough_1.0.2-1build7.debian.tar.xz
Checksums-Sha256:
 546ca1b1694841499124eb29c2402f363f1c4be73c00946e501c74cf8f7111dc 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 d0ec4e2bb3420609b5a023bf9a9a4bdf2b776452dd01697656f922883f5fe1ed 8996 mathcomp-bigenough_1.0.2-1build7.debian.tar.xz
Files:
 456ac59e00dc59581295fec695d8c7ba 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 6e37b44ddd9622b6e85b0a9bd19a60f5 8996 mathcomp-bigenough_1.0.2-1build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmkMVsIACgkQ808JdE6f
Xdl+SRAAkl6PJqHIutUOjfF3DQ4vNmfW24QKMP6Rr8tm8XCwCbPQ/lbEVOgQ1af9
4O+q3Lk/2EJEFinKJra7cqLtiKGxb0TC1hrLw3gbxaGiIANuvk67l9DPle1yZ1fJ
xx57EYHrxU4JH6nViEnY97eXjqRq6rnVJCMNvDTwfnKLzldfwrtsO9+Di29ZMpmr
nJq3mdeJ01TnMncBA9MG4cbwwRCzZs5vRNtJUKz9Pd7zvdzg/iITAVmhVVGajcYj
GiE05ciAb5vjJnidLXE33hKVY1fQNqPHa09ClEjXwAJaCdlLijk9A8qvCFok/6cK
heKxZu5tOSc3D4jDajwx9sQwSTbx9mJ0IBomhqObO3MtsblbGIsF9jDO2ubv5zEg
4g4GzrI4l9T/d+CoL6gNjkBJYTkqKVpz+GzLAB+nv8i/Am008P6h4hb5qt8K38LP
+rO1TxQuqf8acKMZHMODToAEv1jbl3YmOOgB+AeNfytmPyKMDhf3iigKYbjX+kJd
l1Fmms4Eq9/a0kBJgj49i5sC929yX+z0YFLR8fZd/Gj1FdgDNDXp8ZjeBrhPKlzt
w2wCCyECZy7Dbfd4exIgL3X6SYb6H5U0ILFyYI4YGwy+OK10PNgQyX0hWBlcFsWG
BGklwm+KtwFq0UDOOXnz0aVNGQJt/1N42JGJxvwMTfN1N14KbKk=
=fhCN
-----END PGP SIGNATURE-----