[Bug 274765] lang/swi-pl: Certificate problems with package manager

From: <bugzilla-noreply_at_freebsd.org>
Date: Sat, 28 Oct 2023 07:55:29 UTC
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=274765

            Bug ID: 274765
           Summary: lang/swi-pl: Certificate problems with package manager
           Product: Ports & Packages
           Version: Latest
          Hardware: Any
                OS: Any
            Status: New
          Severity: Affects Only Me
          Priority: ---
         Component: Individual Port(s)
          Assignee: ports-bugs@FreeBSD.org
          Reporter: alexey@ocaml.nl
                CC: mailinglist@diamondbox.dk
                CC: mailinglist@diamondbox.dk
             Flags: maintainer-feedback?(mailinglist@diamondbox.dk)

Hello,

I have exactly the same problem with lang/swi-pl both on baremetal machine and
on one running in VirtualBox, they are in different networks (baremetal one has
IPv6 and the real IPv4; VirtualBox one is IPv4 only via NAT).

I run FreeBSD 13.2-p4, the latest lang/swi-pl from ports.

❯ swipl --version
SWI-Prolog version 9.0.4 for amd64-freebsd

The problem:

?- pack_list(foo).
% Contacting server at https://www.swi-prolog.org/pack/query ...
ERROR: SSL(1416F086) tls_process_server_certificate: certificate verify failed
ERROR: In:
ERROR:   [21] throw(error(ssl_error('1416F086','SSL
routines',tls_process_server_certificate,'certificate verify failed'),_420))
ERROR:   [19]
catch(http:http_protocol_hook(https,...,<stream>(0xf3fb00,0xf3fc00),_474,...),error(ssl_error('1416F086','SSL
routines',tls_process_server_certificate,'certificate verify
failed'),_482),http_open:(...,...)) at /usr/local/lib/swipl/boot/init.pl:565
ERROR:   [18]
http_open:try_http_proxy(direct,[uri('https://www.swi-prolog.org/pack/query'),...|...],_538,'<garbage_collected>')
at /usr/local/lib/swipl/library/http/http_open.pl:493
ERROR:   [16] <meta call>
ERROR:   [15]
sig_atomic(prolog_pack:http_open('https://www.swi-prolog.org/pack/query',_616,...))
<foreign>
ERROR:   [14]
setup_call_catcher_cleanup('<garbage_collected>',prolog_pack:read_reply(_658,_660,_662),_646,prolog_pack:close(_672))
at /usr/local/lib/swipl/boot/init.pl:678
ERROR:   [12] prolog_pack:query_pack_server('<garbage_collected>',_704,[]) at
/usr/local/lib/swipl/library/prolog_pack.pl:1587
ERROR:   [11] prolog_pack:pack_search(foo) at
/usr/local/lib/swipl/library/prolog_pack.pl:384
ERROR:    [9] toplevel_call('<garbage_collected>') at
/usr/local/lib/swipl/boot/toplevel.pl:1173
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.

I must say it works as expected with both Windows (which hosts VirtualBox) and
Ubuntu Linux.

-- 
You are receiving this mail because:
You are the assignee for the bug.