Your message dated Tue, 25 Feb 2014 09:20:02 +0000
with message-id <e1wiebg-0007lo...@franck.debian.org>
and subject line Bug#738392: fixed in proofgeneral 4.3~pre130510-1.1
has caused the Debian Bug report #738392,
regarding proofgeneral: FTBFS: Latex errors
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.)
--
738392: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=738392
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: proofgeneral
Version: 4.3~pre130510-1
Severity: serious
Tags: jessie sid
User: debian...@lists.debian.org
Usertags: qa-ftbfs-20140208 qa-ftbfs
Justification: FTBFS on amd64
Hi,
During a rebuild of all packages in sid, your package failed to build on
amd64.
Relevant part (hopefully):
> make[4]: Entering directory `/«PKGBUILDDIR»/doc'
> texi2pdf ProofGeneral.texi
> This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013/Debian)
> 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{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [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
>
> kpathsea: Running mktextfm ecrm1095
> mkdir: cannot create directory '././sbuild-nonexistent': Permission denied
> mktextfm: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1; nonstopmode;
> input ecrm1095
> This is METAFONT, Version 2.718281 (TeX Live 2013/Debian)
>
> kpathsea: Running mktexmf ecrm1095
>
> ! I can't find file `ecrm1095'.
> <*> ...ljfour; mag:=1; nonstopmode; input ecrm1095
>
> Please type another input file name
> ! Emergency stop.
> <*> ...ljfour; mag:=1; nonstopmode; input ecrm1095
>
> Transcript written on mfput.log.
> grep: ecrm1095.log: No such file or directory
> mktextfm: `mf-nowin -progname=mf \mode:=ljfour; mag:=1; nonstopmode; input
> ecrm1095' failed to make ecrm1095.tfm.
> kpathsea: Appending font creation commands to missfont.log.
> [61] [62] [63] Chapter 12 [64] [65] [66]
> ./ProofGeneral.texi:5154: Font @thisecfont=ecrm1095 at 11.0pt not loadable:
> Met
> ric (TFM) file not found.
> <to be read again>
> @thisecfont
> @{->{@ifmonospace @else @ecfont
> @fi @char 123}
> l.5154 Inserts "@@@{
> text ""@}" (anti-quotation).
> ?
> ./ProofGeneral.texi:5154: Emergency stop.
> <to be read again>
> @thisecfont
> @{->{@ifmonospace @else @ecfont
> @fi @char 123}
> l.5154 Inserts "@@@{
> text ""@}" (anti-quotation).
> ./ProofGeneral.texi:5154: ==> Fatal error occurred, no output PDF file
> produce
> d!
> Transcript written on ProofGeneral.log.
> /usr/bin/texi2dvi: pdfetex exited with bad status, quitting.
> make[4]: *** [ProofGeneral.pdf] Error 1
The full build log is available from:
http://aws-logs.debian.net/ftbfs-logs/2014/02/08/proofgeneral_4.3~pre130510-1_unstable.log
A list of current common problems and possible solutions is available at
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!
About the archive rebuild: The rebuild was done on EC2 VM instances from
Amazon Web Services, using a clean, minimal and up-to-date chroot. Every
failed build was retried once to eliminate random failures.
--- End Message ---
--- Begin Message ---
Source: proofgeneral
Source-Version: 4.3~pre130510-1.1
We believe that the bug you reported is fixed in the latest version of
proofgeneral, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 738...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Hideki Yamane <henr...@debian.org> (supplier of updated proofgeneral package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 15 Feb 2014 19:57:15 +0900
Source: proofgeneral
Binary: proofgeneral proofgeneral-doc
Architecture: source all
Version: 4.3~pre130510-1.1
Distribution: unstable
Urgency: medium
Maintainer: Hendrik Tews <hend...@askra.de>
Changed-By: Hideki Yamane <henr...@debian.org>
Description:
proofgeneral - generic frontend for proof assistants
proofgeneral-doc - generic frontend for proof assistants - documentation
Closes: 738392
Changes:
proofgeneral (4.3~pre130510-1.1) unstable; urgency=medium
.
* Non-maintainer upload.
* debian/control
- add "Build-Depends: texlive-fonts-recommended" to fix FTBFS
(Closes: #738392)
- remove unnecessary "Build-Depends: texi2html" due to transtion
(see https://wiki.debian.org/Texi2htmlTransition)
* debian/patches
- add transition_to_makeinfo.patch to use makeinfo, instead of texi2html
* also update debian/proofgeneral-doc.doc-base to deal with changes with
above
Checksums-Sha1:
351ad43af4ae3dfd6656d61088f2bc9b2abdfe13 2016
proofgeneral_4.3~pre130510-1.1.dsc
b8ed0a2cc0d9765301253cbd51b7eef6aa4e05ba 19108
proofgeneral_4.3~pre130510-1.1.debian.tar.xz
cc2cc16492dbd9c76cc7c9ca405fe5d497df2317 370950
proofgeneral_4.3~pre130510-1.1_all.deb
864619e3d20a81a6014924f4f4651c23febc3d57 665738
proofgeneral-doc_4.3~pre130510-1.1_all.deb
Checksums-Sha256:
c041d9f1a3fb4f3c0557bc7aadeca9f6fa806c0cac6909d5f4c70f852b42a47c 2016
proofgeneral_4.3~pre130510-1.1.dsc
a111996fea125027cb347af14cc5ba609c5d754c5c37e671b96634df70045f6b 19108
proofgeneral_4.3~pre130510-1.1.debian.tar.xz
67fc3f8420d1ca31b2bfdb078d260f6e381cbb8a3ef01bfd59b71d1e43c3408b 370950
proofgeneral_4.3~pre130510-1.1_all.deb
3ae14377601dcde87c5103d3bad5c310a15a3849b7a2b6b8658cde08a0a35232 665738
proofgeneral-doc_4.3~pre130510-1.1_all.deb
Files:
05d39343263bd46632957e8eaa8af45f 2016 editors optional
proofgeneral_4.3~pre130510-1.1.dsc
b6ff14e5269671e0028d95fb73c82011 19108 editors optional
proofgeneral_4.3~pre130510-1.1.debian.tar.xz
e5bf3c39e52229d15be76566af8e9ab5 370950 editors optional
proofgeneral_4.3~pre130510-1.1_all.deb
1e073e55e1a8515d3085348bd6b1866b 665738 doc optional
proofgeneral-doc_4.3~pre130510-1.1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCgAGBQJTAGs8AAoJEF0yjQgqqrFAxTgP/36a8NJnB5dNu1B6coaBSzGS
k4a6taOvSSHRXSExgWatKrGUEGyZq+TWiHD/VQxMH65X6jxDgpeBwh4isRruAxjN
QijkegOBEXCE2fGmll1CgvZFxikI571m+Pzi6MtMo0Ml8PxYgaxUXsMytdwFwULv
lMXC859oWaCISgMf68PewJjbRAwuNeAVUMpG/TnZtCPZnBczZx7wjbjeLlzgvCp2
9zcJVyxC8CD+Ni4ini3t5dChL7n87tfb8RCnomlGXSVgtyI0s/JJJmjb4VxicSvU
id99FWXv+YEJUmq+m1bl4sQAYfs6ctowOqgZgesWvhY2chPUwkmODhywuY4Jfrwk
2dEIhl3/5t2PH+nZplfqJLtR9Tiat6FcLAtdJTs6ARiI5VxpukatNOFkO8ZPyLbC
Bg4t7U07xGhL0vmOPIfMYWJO9ys08qlF/mJFGTqqu2hgPb+hi1X89RCxpX0QEcbh
ofCEG2dwRPnfboJFOEWseibmoU6MZynPfE0emp6j+TukvUkwN3h1x2pwsGtBSWxH
VtslGGlKH8AGhQZI9GdM8kgR4+JI8q+msGoUnUGtGinEHLknf4jM0ghs5D55JyD4
u2nOXzgAIyGMuCuE8qAzoLZwR1ASeUHKymo/tpnfFPgByuhVXrfyXZnwlr6qSWVY
7lww9dayQZcbq2UpuN7u
=2jRE
-----END PGP SIGNATURE-----
--- End Message ---
