Accepted mathcomp 1.5-2 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 19 Mar 2014 15:03:48 +0100
Source: mathcomp
Binary: libmathcomp-coq
Architecture: source all
Version: 1.5-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Enrico Tassi <gareuselesinge@debian.org>
Description:
libmathcomp-coq - Mathematical Components library for Coq (theories)
Closes: 742105
Changes:
mathcomp (1.5-2) unstable; urgency=medium
.
* Add dependency over libssreflect-coq (Closes: #742105)
Checksums-Sha1:
726bef59f7fc88e22e77de4e8641ebcddeda9746 1994 mathcomp_1.5-2.dsc
052499074696e7c9f811e7b80da7a892ab265a50 9416 mathcomp_1.5-2.debian.tar.xz
207f2a2354e5b0125dc30cec3048f41083bfef71 22733226 libmathcomp-coq_1.5-2_all.deb
Checksums-Sha256:
56a2eb150de645fd9b25a89d32696bc15900e375c0b1483ecbd223cc6a07e8a0 1994 mathcomp_1.5-2.dsc
bf8b5aff7633cb4b46c188d80ddcb98f75fb720015c08659203dec9722efe85d 9416 mathcomp_1.5-2.debian.tar.xz
4950c36186f2bae49e378f5b7f375071bec5cf51713c42dd641d813c0d252088 22733226 libmathcomp-coq_1.5-2_all.deb
Files:
b5a62484635e1385838d9e1a953ec198 1994 math optional mathcomp_1.5-2.dsc
b2eeb1a74ae9b1a46804a9d8f054a9b0 9416 math optional mathcomp_1.5-2.debian.tar.xz
037aea172b2b6ae9886eb99f7a1d575b 22733226 math optional libmathcomp-coq_1.5-2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJTKawSAAoJECUFM8yim3ZPMcAQAK9+aYXnzLPIcbMf0o4merWe
im7PCLzWu4a6E+2XbCVXbf6w+VB3+5EAUXB0WnX1ItrMcQELkaQtnHM2/A9zZ3oL
5CAjPQuEtbSxOXrSc2FIsEesHPKVC62aqSOsIexAu5TAjmaprHUIth4ciZFwd02M
tp7K3ZaiAwf4NXCTikZ1nUDRJ6Z2y9OkVlDQMr9ZF1t4t8B6NFUsY3tkcH+HCK7k
O4SIQl7D7K6zEqnIKPYuLlYTBWkW4nM0rDWKPYP4rS/sXzqCGu7VZlhWTGiJgiRw
dAVDMnODhd+OhbKL26/eJdTYLmO7qo+oucV2Go2OKUQyxszir8i69H0fwFSUjO/H
h4Wz2x9Zh93z6qPTLM0MkNqNdCiuU5tT7pStQq83fWDuB4eL8Qo38ndThCFXeP8j
jTcTCK8vJdD7H05NDWTndupwQXshlWpRDUFBf34waVZ4347AeUg/zVwg5jMdxZEn
VISCPxVx8JRe47IdSj2l5jfGzCTpDrggoqmjkNYm08iO3rJj6gPNOLzXXOJhiJul
m1yeSpT7gfu6sI4sXeqg3VOwc3ZUVz4OPWm+l1wMkqSmnMnOJiJwDVVNQtQDZEeR
kPSNFzbLxrLdX7Mdk7mUyE5FRvpOGNuGLXgSmJimWWxWUG6rX3HYgQxp1PIuGoHZ
I47fU8Ugaa9RphAFqJG8
=4yQz
-----END PGP SIGNATURE-----