candi installation issue

[Alberto Salvadori]

Dear community

while installing deal.ii on a new machine with candi I got this message.

candi tries now to download, configure, build and install:

Project:  deal.II-toolchain
Platform: deal.II-toolchain/platforms/supported/ubuntu.platform

Loading dealii-prepare
Fetching opencascade 0.18.3
Trying to download https://tjhei.info/candi-mirror/OCE-0.18.3.tar.gz
--2023-10-30 17:31:59--  https://tjhei.info/candi-mirror/OCE-0.18.3.tar.gz
Resolving tjhei.info (tjhei.info)... 45.63.8.119
Connecting to tjhei.info (tjhei.info)|45.63.8.119|:443... connected.
WARNING: cannot verify tjhei.info's certificate, issued by ‘CN=_default,OU=Dev,O=GridPane,L=Bath,ST=Michigan,C=US’:
  Self-signed certificate encountered.
    WARNING: certificate common name ‘_default’ doesn't match requested host name ‘tjhei.info’.
HTTP request sent, awaiting response... Read error (Connection reset by peer) in headers.
Retrying.

Am I missing something? I did try on two different systems with the same outcome.

Thank you,

Alberto

[Timo Heister]

Hi Alberto,

Thanks for reporting. I apologize for messing up the server configuration. I will fix this today or tomorrow.

--

Timo Heister

http://www.math.clemson.edu/~heister/

---

From: dea...@googlegroups.com <dea...@googlegroups.com> on behalf of Alberto Salvadori <alberto....@unibs.it>
Sent: Monday, October 30, 2023 12:43:40 PM
To: deal.II User Group <dea...@googlegroups.com>
Subject: [deal.II] candi installation issue

 

This Message Is From An External Sender: Use caution when opening links or attachments if you do not recognize the sender.

Informativa sulla Privacy: https://www.unibs.it/it/node/1452

--
The deal.II project is located at http://www.dealii.org/
For mailing list/forum options, see https://groups.google.com/d/forum/dealii?hl=en
---
You received this message because you are subscribed to the Google Groups "deal.II User Group" group.
To unsubscribe from this group and stop receiving emails from it, send an email to dealii+un...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/dealii/d53ae7c0-7ae3-4af0-8e10-81a20e385cfdn%40googlegroups.com.