[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#275983: "coqc -v7" doesn't work; missing v7 library

Package: coq
Version: 8.0pl1-3
Severity: normal

lionelm@harif:~/surreal/code$ coqc -v7 surreal.v
Warning: Cannot open /usr/lib/coq/states7
Warning: Cannot open /usr/lib/coq/theories7
Warning: Cannot open /usr/lib/coq/contrib7
User error: Can't find file initial.coq on loadpath

You probably only "forgot" to ship these directories in the package.

-- System Information:
Debian Release: 3.1
  APT prefers unstable
  APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: i386 (x86_64)
Kernel: Linux 2.6.5-64bit
Locale: LANG=fr_LU@euro, LC_CTYPE=fr_LU@euro

Versions of packages coq depends on:
ii  coq-libs                    8.0pl1-3     Proof assistant for higher-order l
ii  libc6                       2.3.2.ds1-17 GNU C Library: Shared libraries an
ii  libncurses5                 5.4-4        Shared libraries for terminal hand

-- no debconf information

Reply to: