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: