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

Format: 3.0 (quilt)
Source: mathcomp
Binary: libmathcomp-coq
Architecture: all
Version: 1.5-4
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Enrico Tassi <gareuselesinge@debian.org>
Homepage: http://www.msr-inria.fr/projects/mathematical-components/
Standards-Version: 3.9.5
Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/mathcomp.git
Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/mathcomp.git
Build-Depends: debhelper (>= 8), coq (>= 8.4), libssreflect-coq (>= 1.5)
Package-List:
 libmathcomp-coq deb math optional arch=all
Checksums-Sha1:
 4601d61092fc3ebd7279c7c3efb53de5ec2c9912 1043834 mathcomp_1.5.orig.tar.gz
 4d0222b64d9f95367b29d447ccc85639f94b35cb 9508 mathcomp_1.5-4.debian.tar.xz
Checksums-Sha256:
 55ad520996541dd2d76c2ed24d7b74b64091158d586fd43ccd74a110f9d62789 1043834 mathcomp_1.5.orig.tar.gz
 e56b78ee76b57c1e13b9dbc7dfb8bc8afccb4251f62650e1e340a4c9a4fd9a36 9508 mathcomp_1.5-4.debian.tar.xz
Files:
 f6f24df228569f0095d710063a633709 1043834 mathcomp_1.5.orig.tar.gz
 f7a994e52af6edd288e12d749ece089a 9508 mathcomp_1.5-4.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJWIh7PAAoJEHhT2k1JiBrTDTgQAJgeYTEZCAMtaRaFBYbqNcSX
1mT1l1IqHsFtVS0pjwWHpYqVw84NHvZKSb2pSjMpkGj9eh7Us8u/NK96GeY5f5P/
aedwTwwkFjMTwUtiU9vLZL6Bxt3UZNT9aCZFWC8XSg1xW8rDD6HcjyDs5XOVAHTt
5mgQX3WebAgGfEN4p+EnR8VgAmzyMTIKCfB5wvqY1SBGuO2CHNK7PjYZ4udr/cKs
mfV8ZR4QAfKf8SQafSDJZ8MAM7znlKX2WfDwIhN3lw1OOS6mzxIOZWcQ1LfrGhbm
tBpcNZHYZAsHcTYjh72vU7J6cdaiZlMj3UGYlL+f3n9V4ODFeEwPUXK7mbcByKK6
b92aQoxirsOky+/CIY0CpEk/VgyVZdBA6oy9w5bNV33Mgp42DpXn1Gl8DEc3It+q
mLwJ9dvGObmFcgrfL1bxS06skzuXfFLnVGD7JZJeMYvHytXfaPSymlm6pVSq1b5N
mrzYCDYwfyiWU3HHWZdXbNd7R5DKSDcC+NVi2+mGEmgop6NoOdyebdMLzL1dzOks
VJ5z8tze9GHYTkDjEI362A1sSQc8OeKDLfSjXw9hY6QpI6seIQGXu7dVKJ2x8g+6
l20peFOMSYNNfo70Od2k/WuKGPuyfy7iPGBx50bHvsFTtQTmjvweZ08f7T2q0APK
NolYSU66QZFOZKZuZgB1
=jAXi
-----END PGP SIGNATURE-----