Your message dated Thu, 17 Aug 2023 13:11:29 +0000
with message-id <[email protected]>
and subject line Bug#1030375: fixed in proofgeneral 4.5-1
has caused the Debian Bug report #1030375,
regarding proofgeneral: FTBFS with TeXInfo 7.0.x
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 [email protected]
immediately.)
--
1030375: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1030375
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: proofgeneral
Version: 4.4.1~pre170114-1.2
Severity: important
Tags: ftbfs patch
Usertags: texinfo70
the package fails to build from source when using TeX Info 7.0.x. This
happens due to this change:
,----
| 7.0 (7 November 2022)
| * texi2any
| . HTML output:
| . use manual_name_html as output directory for split HTML instead of
| manual_name or manual_name.html
`----
The easiest solution is probably to add option "--output=ProofGeneral" to
the "makeinfo --html" call in doc/Makefile.doc. A proposed patch is
attached, please make sure it does not break compatibility to TeXInfo
6.8.
For now TeXInfo 7.0 is available in experimental. This bug is not RC
for now, but after bookworm we'll upload TeXInfo 7.0 to unstable and
the bug will become RC.
Hilmar
-- System Information:
Debian Release: bookworm/sid
APT prefers unstable
APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Kernel: Linux 6.1.0-3-amd64 (SMP w/4 CPU threads; PREEMPT)
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8),
LANGUAGE=en_GB:en
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled
--
sigmentation fault
--- proofgeneral-4.4.1~pre170114.orig/doc/Makefile.doc
+++ proofgeneral-4.4.1~pre170114/doc/Makefile.doc
@@ -18,7 +18,7 @@
MAKE = make -f Makefile.doc
MAKEINFO = makeinfo
-TEXI2HTML = makeinfo --html --ifinfo --number-sections --split=chapter
--no-headers --css-include=proofgen.css
+TEXI2HTML = makeinfo --html --output=ProofGeneral --ifinfo --number-sections
--split=chapter --no-headers --css-include=proofgen.css
# `texinfo-tex' package contains texi2pdf
TEXI2PDF = texi2pdf
# `dviutils' package contains these useful utilities.
signature.asc
Description: PGP signature
--- End Message ---
--- Begin Message ---
Source: proofgeneral
Source-Version: 4.5-1
Done: Julien Puydt <[email protected]>
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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <[email protected]> (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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 17 Aug 2023 14:37:53 +0200
Source: proofgeneral
Architecture: source
Version: 4.5-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Math Team <[email protected]>
Changed-By: Julien Puydt <[email protected]>
Closes: 917461 951567 1016815 1030375
Changes:
proofgeneral (4.5-1) unstable; urgency=medium
.
* Fix d/watch.
* Change maintainer&uploaders.
* Switch from debhelper to debhelper-compat.
* Bump standards-version to 4.6.2.
* Don't depend on emacs-gtk (Closes: #951567).
* Package new upstream release (Closes: #1030375, #917461, #1016815).
* Declare d/rules doesn't require root.
* Refresh patches.
* Add a manpage for coqtags.
Checksums-Sha1:
9302a729425936afb82dfc9a360cd55d1ff40239 2000 proofgeneral_4.5-1.dsc
8dc48a09217b386747815289590ca9c7c602ff92 1198535 proofgeneral_4.5.orig.tar.gz
9686bae602eeb3b4d146ae249e7831cc6b5aadf7 17188 proofgeneral_4.5-1.debian.tar.xz
9f2951ca4311713b92fb205c73e5673841f04133 13470
proofgeneral_4.5-1_source.buildinfo
Checksums-Sha256:
4651b53639ce9c1a02ea50468d9bc4467e51e5aaf4c3fd74c5b695cb118dd781 2000
proofgeneral_4.5-1.dsc
b408ab943cfbfe4fcb0d3322f079f41e2a2d29b50cf0cc704fbb4d5e6c26e3a2 1198535
proofgeneral_4.5.orig.tar.gz
4a83de48314f2892c6c9e9b9b45b8ef79fcd41a06cf737fe5e8736d72d39c182 17188
proofgeneral_4.5-1.debian.tar.xz
3cadedad3a3635b706363c7cb7bc4dd55baa4ba5ee7ff1f17a224c7ccf69393f 13470
proofgeneral_4.5-1_source.buildinfo
Files:
dabeff72523dc0309a19cecd51e28867 2000 editors optional proofgeneral_4.5-1.dsc
7fc03264e924f8020e717cc4cff67197 1198535 editors optional
proofgeneral_4.5.orig.tar.gz
714d5a5165863f4996d0a4234bc182f9 17188 editors optional
proofgeneral_4.5-1.debian.tar.xz
74fe42f5c884f8c330753d0b1dbe32bb 13470 editors optional
proofgeneral_4.5-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmTeFNESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRxvsP/iKDaGllF5RYM/jYjXIiEMyOEbotsXN/
29qvfsKAIBX7eTXMy1ZcxaY5bsJRpCJyhULQUitNk0gbqw+1khd7XCs2NiAZtJVz
QxVYlkiBNZ3YFhCNetd7KVzagpwAQtTucVnoIMPTWqx8rHUulRQuHdCGwh+7p2mv
V3xEQntIzeoR0MsTxpIM8zSbdNnM/81d8jd9oIi81eMphZuoMLG2KqeSPmQivnNx
AAIrieTX6g8keSd+bQwXxCjeTSjJrLuRzR6LRSqMcZ6fImkrDNPHs0fYznWp/ZQO
zkkHYR5CscRvDnzoUMNXk2vq6CXBlRMoeagsfAVxrMmAXrTWKnLnQoEHCQXeYH7z
voiPqHj4osGtrdt7GiirWlVIZTyHxuxehamPYQyA0rIpf5cKyOJKWKPoCpItmADg
BjpM5VSjjJJLhG4j48urfRsBaHzD+UbU3Mf1Zf9AGZyTG2N5rNisUFyZ3dI6R/o8
0OWVpWBfo9E0nwuV99HhF5KAZ5hPPLWLXV5pgHeiCZ05XUJzaL2uCYIit8mryM7T
S2IRnRTm2I9a0lRVbOoxKBIbOqqwaNHUqjZWcWezJQIwptsKf/2PfltIXPeZDRxd
JlLDz35HK3IaebRXmBEdzyiQn4EzfIqpN9eOIOASu5gyTxLLhQyMN2aMkjbmukOa
cGkgRDa/uESi
=G4Q5
-----END PGP SIGNATURE-----
--- End Message ---
