[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: