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 -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/20140319093822.7513.24600.report...@korell.up7.fr
