Your message dated Sat, 25 Oct 2014 23:04:15 +0200 with message-id <87lho3oo8g....@elite.fireeye.com> and subject line Re: Bug#751049: proofgeneral: FTBFS - pdfetex (file cm-super-t1.enc): cannot open encoding file for reading has caused the Debian Bug report #751049, regarding proofgeneral: FTBFS - pdfetex (file cm-super-t1.enc): cannot open encoding file for reading to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 751049: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=751049 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Package: proofgeneral Version: 4.3~pre130510-1.1 Severity: serious Usertags: goto-cc During a rebuild of all Debian packages in a clean sid chroot (using cowbuilder and pbuilder) the build failed with the following error. [...] texi2pdf ProofGeneral.texi This is pdfTeX, Version 3.14159265-2.6-1.40.15 (TeX Live 2014/Debian) (preloaded format=pdfetex) restricted \write18 enabled. entering extended mode (./ProofGeneral.texi (/usr/share/texmf/tex/texinfo/texinfo.tex Loading texinfo [version 2013-09-11.11]: pdf, fonts, markup, glyphs, page headings, tables, conditionals, indexing, sectioning, toc, environments, defuns, macros, cross references, insertions, (/usr/share/texlive/texmf-dist/tex/generic/epsf/epsf.tex This is `epsf.tex' v2.7.4 <14 February 2011> ) localization, formatting, and turning on texinfo input format.) <./ProofGener al-image.jpg> [1{/usr/share/texlive/texmf-dist/fonts/map/pdftex/updmap/pdftex.m ap}] [2] (Preface) Cross reference values unknown; you must run TeX again. [1] [2] Chapter 1 [3] [4] [5] [6] [7] Chapter 2 [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] Underfull \hbox (badness 10000) in paragraph at lines 1683--1687 []@textsl warning[]@textrm : this com-mand risks spoil-ing syn-chro-niza-tion if the test [18] Chapter 3 [19] [20] [21] [22] [23] [24] [25] Chapter 4 [26] [27] [28] [29] [30] Chapter 5 [31] [32] [33] [34] Chapter 6 [35] [36] Chapter 7 [37] [38] [39] Chapter 8 [40] [41] [42] [43] [44] [45] Underfull \hbox (badness 10000) in paragraph at lines 3654--3657 []@textrm This op-tion is com-pat-i-ble with `@texttt proof-prog-name-ask[][]@ textrm '[]. No ef-fect if [46] [47] [48] Chapter 9 [49] [50] [51] [52] Chapter 10 [53] [54] Chapter 11 [55] [56] [57] [58] [59] [60] Underfull \hbox (badness 10000) in paragraph at lines 4656--4658 []@textrm After the sub-sti-tu-tion the com-mand can be changed in the mini-bu f-fer if Underfull \hbox (badness 10000) in paragraph at lines 4666--4668 []@textrm This op-tion can be set/reset via menu `@texttt Coq -> Settings -> C onfirm External [61] [62] [63] Chapter 12 [64] [65] [66] Chapter 13 [67] [68] Chapter 14 [69] [70] Appendix A [71] [72] [73] Appendix B [74] (References) [75] [76] (History of Proof General) [77] [78] [79] [80] [81] (Function and Command Index) [82] (Variable and User Option Index) [83] [84] (Keystroke Index) [85] [86] (Concept Index) [87] [88] [89] [90] (./ProofGeneral.toc [-1] [-2]) [-3] [-4] (./ProofGeneral.toc) (./ProofGeneral.toc) ) (see the transcript file for additional information) !pdfTeX error: pdfetex (file cm-super-t1.enc): cannot open encoding file for re ading ==> Fatal error occurred, no output PDF file produced! /usr/bin/texi2dvi: pdfetex exited with bad status, quitting. Makefile.doc:50: recipe for target 'ProofGeneral.pdf' failed It may be the case that build dependencies require updating. The full build log is attached. Best, Michael PS.: A similar issue will be filed against the pycode-browser package.
proofgeneral-build-log.txt.gz
Description: application/gunzip
Description: PGP signature
--- End Message ---
--- Begin Message ---Hi, proofgeneral builds fine now inside cowbuilder. I don't know why it failed in June. I nevertheless close this bug now. Bye, Hendrik
--- End Message ---
