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

Format: 3.0 (quilt)
Source: mathcomp
Binary: libmathcomp-coq
Architecture: all
Version: 1.5-3
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
 26c0ee605eb7556a86deb4b74bfd257fff3d09d9 9464 mathcomp_1.5-3.debian.tar.xz
Checksums-Sha256:
 55ad520996541dd2d76c2ed24d7b74b64091158d586fd43ccd74a110f9d62789 1043834 mathcomp_1.5.orig.tar.gz
 4720113385054c794dc1c4ae2e49c77e0f6941da59279dd5c847274241cbf4da 9464 mathcomp_1.5-3.debian.tar.xz
Files:
 f6f24df228569f0095d710063a633709 1043834 mathcomp_1.5.orig.tar.gz
 a6cfce1fd01060dbdd79ebc31029943f 9464 mathcomp_1.5-3.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAEBCgAGBQJT30V6AAoJEHhT2k1JiBrTFeUP/jQARSS/RK+9VQ2/W3pOfvH9
U/jfaXkdGM+2KcknyBEHgw/VuR7qQX78LMMC/TDN50OxStlZt5mVzlsxi4SsFbS5
5dSEIuN9pETZOoGDpZOceMt06Qq5EIfNASN4Hg+s2bkr0YlHOnuPhiTJ/SKX+MYc
lNmGlfljtUXao5T03hKKY3/4H9RAfLXm04ihF+xJAe2SfYU7LkXJ5bfjAwHEC+yF
MdlfvREoODXcuaQpnVeNZ3v+oyrF8HOk3BeGTFHKOs27njmjGh6ZPvTrOIVywYd9
bDujDJMG4r6AHDBTqsZ9K7Ei3zmz2Kmd8zRtDIAlcRlD5Y4cCj+x8RGWijJvi11L
Nlfd6RUGpOeeFdPTu7jm20FlkCgAYAb5bAhIxArTH3wfbM7d92i4TUC7WaK9fQcb
LHnSdcKpvWn8xzGxIudG6RtU8ucPI3D80uDw8yxRxJXcayQoS6eWlvsSCrZHKK+Q
f3itWbCXlg40jSzkFKD0nUhxWbPoKI3eYqIvgtSrwJCbXQop+Caludz61fVBZGng
w4DUyqqByt/kBR3Fx/5dL7H0aWiiIlbwYBEiInc0BS6s8FsHwOqkv1Iw0Iup0Za3
Hk8EQ7m9jRDvcFQtjk6xFVDCpM7xakEIXWXyTWFZOZuBQvUQYUpahZ0Lpc3/xUjJ
yK2/xZsJjkZFgjm9GNw2
=L+Jd
-----END PGP SIGNATURE-----