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
pgpHIClg9_CPg.pgp
Description: PGP signature
