-----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-----
