Package: proofgeneral-coq Version: 3.7-4 Severity: grave Opening any .v file or starting coq-mode manually only gives the error
File mode specification error: (file-error "Cannot open load file" "hilit19") and no proof-general functionality is available. The package is therefore completely unusable. Bye, Hendrik -- 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 -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
