Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

https://coq.inria.fr does not work anymore from a standard IPv6 browser #192

Closed
erikmd opened this issue Mar 9, 2022 · 5 comments
Closed

https://coq.inria.fr does not work anymore from a standard IPv6 browser #192

erikmd opened this issue Mar 9, 2022 · 5 comments

Comments

@erikmd
Copy link
Member

erikmd commented Mar 9, 2022 •
edited
Loading

Hi,

Using Firefox-esr on Debian GNU/Linux, I get the following view:

2022-03-09_18-42-13_Screenshot_coq_inria_fr

I made a few other tests, and it seems to be the same issue as #157

$ curl -v https://coq.inria.fr
*   Trying 2001:41d0:305:2100::8b43:443...
* Connected to coq.inria.fr (2001:41d0:305:2100::8b43) port 443 (#0)
* ALPN, offering h2
* ALPN, offering http/1.1
* successfully set certificate verify locations:
*  CAfile: /etc/ssl/certs/ca-certificates.crt
*  CApath: /etc/ssl/certs
* TLSv1.3 (OUT), TLS handshake, Client hello (1):
* OpenSSL SSL_connect: Connection reset by peer in connection to coq.inria.fr:443 
* Closing connection 0
curl: (35) OpenSSL SSL_connect: Connection reset by peer in connection to coq.inria.fr:443 

$ curl -v --ipv4 https://coq.inria.fr
*   Trying 51.91.56.51:443...
* Connected to coq.inria.fr (51.91.56.51) port 443 (#0)

…

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
  "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">

<head>
  <title>Welcome! | The Coq Proof Assistant</title>

…

Cc @maximedenes @Zimmi48
@Zimmi48
Copy link
Member

Zimmi48 commented Mar 14, 2022

Ping @maximedenes (I think you're the only one able to debug / fix this).

@maximedenes
Copy link
Member

Thanks for the report. How urgent / blocking is this issue?

@erikmd
Copy link
Member Author

erikmd commented Mar 17, 2022

@maximedenes urgency is subjective, but it's really a blocking bug; to give more details FWIW:

I can reproduce the issue every time I use my GNU/Linux laptop with Firefox and the Wi-Fi of my 4G smartphone.

Then I can't browse Coq's website nor use opam update ; opam install… with the coq-released opam repository.

@maximedenes
Copy link
Member

maximedenes commented Apr 16, 2022 •
edited
Loading

@erikmd Thanks for your patience, it should be fixed now. The fix of #157 was done in a persistent configuration that could still be erased automatically in some scenarios, which seemed to have happened around November 2021. It should be now be fully persistent.

Can you confirm it now works fine for you before we close this issue?

@erikmd
Copy link
Member Author

erikmd commented Apr 22, 2022

Hi @maximedenes, sorry for replying late.

Yes I can confirm it's very OK now. Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@maximedenes @Zimmi48 @erikmd