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

Bug#605014: proofgeneral-coq: PG for coq unusable because hilit19 is missing

Package: proofgeneral-coq
Version: 3.7-4
Severity: grave

Opening any .v file or starting coq-mode manually only gives the

  File mode specification error: (file-error "Cannot open load file" "hilit19")

and no proof-general functionality is available. The package is
therefore completely unusable.



-- System Information:
Debian Release: squeeze/sid
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: i386 (x86_64)

Kernel: Linux 2.6.32-5-amd64 (SMP w/2 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages proofgeneral-coq depends on:
ii  proofgeneral                  3.7-4      generic interface for proof assist

Versions of packages proofgeneral-coq recommends:
ii  coq                       8.2.pl2+dfsg-1 proof assistant for higher-order l

proofgeneral-coq suggests no packages.

-- no debconf information

Reply to: