Bug#1093324: coq-doc: FTBFS: No module named 'typing.io'; 'typing' is not a package
Package: src:coq-doc
Version: 8.20.0-1
Severity: serious
Tags: ftbfs trixie sid
Dear maintainer:
During a rebuild of all packages in unstable, your package failed to build:
--------------------------------------------------------------------------------
[...]
59 | (run env sphinx-build -q %{env:SPHINXWARNOPT=-W} -b latex sphinx %{targets})
60 | (chdir %{targets} (run make LATEXMKOPTS=-silent)))))
Command [3465] exited with code 2:
$ (cd _build/default/doc && /usr/bin/env sphinx-build -q -q -b latex sphinx refman-pdf)
WARNING: Calling get_html_theme_path is deprecated. If you are calling it to define html_theme_path, you are safe to remove that code.
Extension error:
Could not import extension coqrst.coqdomain (exception: No module named 'typing.io'; 'typing' is not a package)
File "doc/dune", lines 23-40, characters 0-497:
23 | (rule
24 | (targets
25 | (dir refman-html))
....
38 | (env_var SPHINXWARNOPT))
39 | (action
40 | (run env sphinx-build -q %{env:SPHINXWARNOPT=-W} -b html sphinx %{targets})))
Command [3464] exited with code 2:
$ (cd _build/default/doc && /usr/bin/env sphinx-build -q -q -b html sphinx refman-html)
WARNING: Calling get_html_theme_path is deprecated. If you are calling it to define html_theme_path, you are safe to remove that code.
Extension error:
Could not import extension coqrst.coqdomain (exception: No module named 'typing.io'; 'typing' is not a package)
make[1]: *** [debian/rules:10: override_dh_auto_build] Error 1
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
make: *** [debian/rules:4: binary] Error 2
dpkg-buildpackage: error: debian/rules binary subprocess returned exit status 2
--------------------------------------------------------------------------------
The above is just how the build ends and not necessarily the most relevant part.
If required, the full build log is available here:
https://people.debian.org/~sanvila/build-logs/202501/
About the archive rebuild: The build was made on virtual machines from AWS,
using sbuild and a reduced chroot with only build-essential packages.
If you could not reproduce the bug please contact me privately, as I
am willing to provide ssh access to a virtual machine where the bug is
fully reproducible.
If this is really a bug in one of the build-depends, please use
reassign and add an affects on src:coq-doc, so that this is still
visible in the BTS web page for this package.
Thanks.
Reply to: