Bug#742105: missing dependency to libssreflect-coq
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
Reply to: