Bug#742105: marked as done (missing dependency to libssreflect-coq)
Your message dated Wed, 19 Mar 2014 15:38:59 +0000
with message-id <E1WQIa3-0008BV-Ia@franck.debian.org>
and subject line Bug#742105: fixed in mathcomp 1.5-2
has caused the Debian Bug report #742105,
regarding missing dependency to libssreflect-coq
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)
--
742105: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=742105
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: libmathcomp-coq
Version: 1.5-1
Severity: serious
> Welcome to Coq 8.4pl3 (January 2014)
>
> Coq < Require Import MathComp.poly.
> Error: Cannot find library Ssreflect.ssrmatching in loadpath
-- System Information:
Debian Release: jessie/sid
APT prefers testing
APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 3.13-1-amd64 (SMP w/4 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages libmathcomp-coq depends on:
ii coq [coq-8.4pl3+4.01.0] 8.4pl3dfsg-1
ii libssreflect-ocaml 1.5-1
libmathcomp-coq recommends no packages.
libmathcomp-coq suggests no packages.
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: mathcomp
Source-Version: 1.5-2
We believe that the bug you reported is fixed in the latest version of
mathcomp, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 742105@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Enrico Tassi <gareuselesinge@debian.org> (supplier of updated mathcomp package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)
-----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-----
--- End Message ---
Reply to: