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

Bug#1093324: marked as done (coq-doc: FTBFS: No module named 'typing.io'; 'typing' is not a package)

Your message dated Thu, 23 Jan 2025 22:35:17 +0000
with message-id <E1tb5nB-00Es4Q-VF@fasolo.debian.org>
and subject line Bug#1093324: fixed in coq-doc 8.20.0-2
has caused the Debian Bug report #1093324,
regarding coq-doc: FTBFS: No module named 'typing.io'; 'typing' is not a package
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 owner@bugs.debian.org
immediately.)


-- 
1093324: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1093324
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
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.

--- End Message ---
--- Begin Message --- 
Source: coq-doc
Source-Version: 8.20.0-2
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
coq-doc, 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 1093324@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@debian.org> (supplier of updated coq-doc 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 ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Mon, 20 Jan 2025 12:58:56 +0100
Source: coq-doc
Architecture: source
Version: 8.20.0-2
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1093100 1093324
Changes:
 coq-doc (8.20.0-2) UNRELEASED; urgency=medium
 .
   * Add patch to compile with recent Python versions
     (Closes: #1093324, #1093100).
Checksums-Sha1:
 e6912aebbeb37d762f467fe5c5aafa8340ace97e 2572 coq-doc_8.20.0-2.dsc
 72dba5a4de47ab003e1032ecb182fe83827ad5b7 8820 coq-doc_8.20.0-2.debian.tar.xz
 4c08dc4d5dcf98bdb565db21458bf023aa018454 13908 coq-doc_8.20.0-2_amd64.buildinfo
Checksums-Sha256:
 4263c2af2ad533d622ecfa351d899b77f668ba4cdd99bb9207f6e261af69977f 2572 coq-doc_8.20.0-2.dsc
 6dfb06fb53e171367e4ac484de4fcc2c748d59d2c075efbb28ed5006ef566992 8820 coq-doc_8.20.0-2.debian.tar.xz
 84d4a500241d2f3eda30dbfc7f553d5984a9383e1a58ff67d2d11ebc282191d8 13908 coq-doc_8.20.0-2_amd64.buildinfo
Files:
 7be3df13db22a072206a1c6b06a413d6 2572 non-free/doc optional coq-doc_8.20.0-2.dsc
 c295e2476e873be9f8eb6a2f4790b3bc 8820 non-free/doc optional coq-doc_8.20.0-2.debian.tar.xz
 9ed0c918f97f160fc2899751264a1721 13908 non-free/doc optional coq-doc_8.20.0-2_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmeSr3UZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUSL5D/4j3KAuuTXBw3IcN3PC7L3M
jvBFRfIP1CFG07jp8i9qPt4XgEKzpx+S1P0ScyUdz+lIm500gTVV5iHGIjRrxTbn
IGNdM98eoP8Ok4TCM9j0Zyx+An8NwuntAFoq6h/THlwJ1UlcF+EAf4ALxEI+XX84
5VBgGqKybFQY8ZNBvR8QUpe9VXDVbw7FfgyHu4cHrPnmQJwKRfRZtF3Ci9nSJF2j
VhrQTODr9oPx6ZtVFFQ7DrJGQuzZ3g2fA8HU70BBRsEIHq1R5kJgVuDsnKQeikty
xvaMC7CYpZ1yc784JD8hp8gbMOhkVpl7vbkqMSgroVHKEuPE9SOKZs5QaJpRMKmD
yEHHXDSpN2iSwNBTO+Y/HuYJmdeCz4fxLWKOHzc4iM4QnmOnfyl+Xs6dNiwUxsVw
3UzfLoXSHEkU/4H0l94PAN3HN0yRYfK5vruV6y1EMl7CyHy1/5LgIZYR7noOEwza
8A1AqGUvoPM3yQbr8Qoi5Tf4L6yBqQ3ckFVrI9IxauhNS3KQFVV79lnLlLWCPQqh
TM2VVARVTX/Y+pqsFa0zOIkbM0dRAVB9dK0v/p+dJY3mO+xiQHR1N429tykhMBH5
XWkeMQajq2KYLfAmlkFhDBBEgAP+wNOaRuj+t2L4ackw3hLxIqDAPwHq0kzV/ajT
X7jnYOs43lhcLUlUcuF13Q==
=9s7U
-----END PGP SIGNATURE-----

Attachment: pgpEDBhaS32If.pgp
Description: PGP signature


--- End Message ---
Reply to: