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

From: Marius Bakke <[email-masked]>
Date: Sat, 21 Mar 2020 11:59:45 +0100

ryan <[email-masked]> 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.