bug#40159: python-language-server-0.31.7 fails to build

bug#40159: python-language-server-0.31.7 fails to build

[ryan]

View build log at 
'/var/log/guix/drvs/3m/x0662f42mrhvsvyahlj8ajyykq9hax-python-language-server-0.31.7.drv.bz2'.

The build log listed above ended with:

...
running "python setup.py" with command "test" and parameters ()
running test
Searching for jedi<0.16,>=0.14.1
Reading https://pypi.org/simple/jedi/
Download error on https://pypi.org/simple/jedi/: [Errno -2] Name or 
service not known -- Some packages may not be found!
Couldn't retrieve index page for 'jedi'
Scanning index of all packages (this may take a while)
Reading https://pypi.org/simple/
Download error on https://pypi.org/simple/: [Errno -2] Name or service 
not known -- Some packages may not be found!
No local packages or working download links found for jedi<0.16,>=0.14.1
error: Could not find suitable distribution for 
Requirement.parse('jedi<0.16,>=0.14.1')
command "python" "-c" "import setuptools, 
tokenize;__file__='setup.py';f=getattr(tokenize, 'open', 
open)(__file__);code=f.read().replace('\\r\\n', 
'\\n');f.close();exec(compile(code, __file__, 'exec'))" "test" failed 
with status 1

bug#40159: python-language-server-0.31.7 fails to build

[Marius Bakke]

[-- Attachment #1: Type: text/plain, Size: 1029 bytes --]

ryan <ryan.desfo@gmail.com> writes:

> View build log at 
> '/var/log/guix/drvs/3m/x0662f42mrhvsvyahlj8ajyykq9hax-python-language-server-0.31.7.drv.bz2'.
>
> The build log listed above ended with:
>
> ...
> running "python setup.py" with command "test" and parameters ()
> running test
> Searching for jedi<0.16,>=0.14.1
> Reading https://pypi.org/simple/jedi/
> Download error on https://pypi.org/simple/jedi/: [Errno -2] Name or 
> service not known -- Some packages may not be found!
> Couldn't retrieve index page for 'jedi'
> Scanning index of all packages (this may take a while)
> Reading https://pypi.org/simple/
> Download error on https://pypi.org/simple/: [Errno -2] Name or service 
> not known -- Some packages may not be found!
> No local packages or working download links found for jedi<0.16,>=0.14.1
> error: Could not find suitable distribution for 
> Requirement.parse('jedi<0.16,>=0.14.1')

Whoops, thanks for reporting this issue.  Fixed in
dcff9bda97d088a717d6f7c01bdf7c0e68d62b9b.

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 487 bytes --]