X-Debbugs-CC: Leandro Guimarães Faria Corcete DUTRA <l...@dutras.org> Package: proofgeneral-doc Version: 4.2~pre120605-1 Severity: normal
Dear Maintainer, the isar/Example.thy (or an equivalent Example.v) file does not exist. * What led up to the situation? Trying to follow the Info tutorial. -- System Information: Debian Release: wheezy/sid APT prefers testing APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 3.2.0-3-amd64 (SMP w/4 CPU cores) Locale: LANG=fr_CH.utf8, LC_CTYPE=fr_CH.utf8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages proofgeneral-doc depends on: ii dpkg 1.16.8 ii install-info 4.13a.dfsg.1-10 Versions of packages proofgeneral-doc recommends: ii acroread [pdf-viewer] 9.5.1-dmo7 ii chromium [www-browser] 21.0.1180.89~r154005-1 ii conkeror [www-browser] 1.0~~pre+git120527-1 ii emacs23 [info-browser] 23.4+1-4 ii epiphany-browser [www-browser] 3.4.2-1+build1 ii evince [pdf-viewer] 3.4.0-2+build1 ii gv [pdf-viewer] 1:3.7.3-1 ii iceweasel [www-browser] 10.0.7esr-2 ii info [info-browser] 4.13a.dfsg.1-10 ii lynx-cur [www-browser] 2.8.8dev.12-2 ii midori [www-browser] 0.4.3-1 ii viewpdf.app [pdf-viewer] 1:0.2dfsg1-4 ii w3m [www-browser] 0.5.3-8 Versions of packages proofgeneral-doc suggests: ii proofgeneral 4.2~pre120605-1 -- no debconf information -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
