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

From: [email-masked] (GNU bug Tracking System)
Date: Sat, 21 Mar 2020 11:00:02 +0000

Your bug report

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

which was filed against the guix package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
40159: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=40159
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#40159: python-language-server-0.31.7 fails to build
From: Marius Bakke <[email-masked]>
To: ryan <[email-masked]>, [email-masked]
Date: Sat, 21 Mar 2020 11:59:45 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

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.

Subject: python-language-server-0.31.7 fails to build
From: ryan <[email-masked]>
To: [email-masked]
Date: Fri, 20 Mar 2020 21:44:37 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

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