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

Format: 3.0 (quilt)
Source: mathcomp
Binary: libmathcomp-coq
Architecture: all
Version: 1.5-4build1
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
 8230f5377fc87c6e54536d7bc0742663f82f8e47 9556 mathcomp_1.5-4build1.debian.tar.xz
Checksums-Sha256:
 55ad520996541dd2d76c2ed24d7b74b64091158d586fd43ccd74a110f9d62789 1043834 mathcomp_1.5.orig.tar.gz
 eb96d137cc33a39616f9c71b9bfec59e5fdcf5743ae2ae9d68a53f246f708b79 9556 mathcomp_1.5-4build1.debian.tar.xz
Files:
 f6f24df228569f0095d710063a633709 1043834 mathcomp_1.5.orig.tar.gz
 15d8f19921f89a1b61069e273e99e0e5 9556 mathcomp_1.5-4build1.debian.tar.xz

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

iQIcBAEBCgAGBQJWRItbAAoJEONS1cUcUEHUQhkQAIZ/yIsWkMNjqS4WMUTHvhBq
XnpCOA0xERjZP2jASFIoR6hymPNVvmlLm69+5TgUYvRaOJCKdKqSS3Uakq24ax5W
fk4qMpzq8F23rROkRAHh08uHgmMAia6OfAYxHQEl9uJewdh0xlyrYJ/FS2BPVIq2
kVvKVzweAKAuLEtUm1ZBNJG9tFNalJKm38jdu9i9keqlgKoksAE74CsKvB/CXLwY
4aLUfQW72Ha9K39xARNz68qNOepmUUNqfnL7oYqGt+/dYh4fBV7aIvyHP0gt+WfT
Nq1ZvA3zxFk2YqDOAnko2F9OnNm9cqUYNBGu702MlT9WVq9auD+aMLb/9sv3dSJm
HO8j0cSOlekqQV3SWK8nyN3IKRHl31hIebddBf+yTbaeltE0iqgJ35tNKMCwZPz4
GkmW5BAIyQ2tlq+XkURcGISmufGOJ2foLczJlgsjSyLT/LAsr91hmeZfTvMwLPFA
My+TWL/nvNmQgG2xUuQeoz/vKecJK58+MyL9lBaDKM+GMjBh0W0wSOEzlcp9dvRL
WO8YZHrEdvfKo/csPVy+0SN++Ol1Y2QA5M36iX6CODmhQo/UQP4soCfKZQOLAaTr
dsiGHeORM3S8mU7ecVEbGn850a02HRlMkPDDhBuFsDEH4CB9+YAYIEtzJvpTBPD7
tf8w2uDXe9Azc7WOWs+h
=BOPf
-----END PGP SIGNATURE-----