Package: swi-prolog
Version: 8.0.2+dfsg-3

pack_install stopped working due to swi-prolog upstream servers switching
from http to https, as documented here:
https://swi-prolog.discourse.group/t/www-swi-prolog-org-goes-https/811/2

Upstream has fixed this in commit 2f36f408be0abc1f6d4915534334fece26af5450,
which is a one-line fix that changes the URL of the server to contact from
http to https. I suggest backporting this fix into the debian package as
well.

Here's a transcript demonstrating the bug:
?- pack_install(uuid).
% Contacting server at http://www.swi-prolog.org/pack/query ...
ERROR: url `'https://www.swi-prolog.org/pack/query'' does not exist
(status(500,Internal Server Error))
ERROR: In:
ERROR:   [18] throw(error(existence_error(url,'
https://www.swi-prolog.org/pack/query'),context(_8254,...)))
ERROR:   [16] http_open:try_http_proxy(direct,[uri('
http://www.swi-prolog.org/pack/query'),...|...],_8290,[post(...),...]) at
/usr/lib/swi-prolog/library/http/http_open.pl:425
ERROR:   [14] <meta call>
ERROR:   [13] '$sig_atomic'(prolog_pack:http_open('
http://www.swi-prolog.org/pack/query',_8384,...)) <foreign>
ERROR:   [12] setup_call_catcher_cleanup(prolog_pack:http_open('
http://www.swi-prolog.org/pack/query',_8428,...),prolog_pack:read_reply(_8440,_8442,_8444),_8414,prolog_pack:close(_8454))
at /usr/lib/swi-prolog/boot/init.pl:469
ERROR:   [10] prolog_pack:query_pack_server(locate(uuid),_8486,[]) at
/usr/lib/swi-prolog/library/prolog_pack.pl:1733
ERROR:    [9] prolog_pack:pack_default_options(uuid,uuid,[],_8528) at
/usr/lib/swi-prolog/library/prolog_pack.pl:516
ERROR:    [8] prolog_pack:pack_install(uuid) at /usr/lib/swi-prolog/library/
prolog_pack.pl:457
ERROR:    [7] <user>
ERROR:
ERROR: Note: some frames are missing due to last-call optimization.
ERROR: Re-run your program in debug mode (:- debug.) to get more detail.

Reply via email to