-
Notifications
You must be signed in to change notification settings - Fork 37
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.
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
coq.inria.fr IPv6 issue? #157
Comments
@erikmd Thanks for reporting! The DNS resolution seems ok, the web server too (no IPv4-specific config), but there seems to be something wrong on the network routes set up by the VPS. I'll try to fix that first. |
@erikmd do you mind testing again? |
Hi @maximedenes, yes, that seems very OK now:
and Thanks for the fix! |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Description of the problem
This is a follow-up of the issue raised on Zulip, which is still reproducible:
it seems the
coq.inria.fr
server has some configuration issue w.r.t. IPv6, which can also impactopam update
:To be more precise, here is an example session on a Linux environment where DNS addresses appear to resolve to IPv6 first:
while it is OK with IPv4:
ideas on how this could be fixed or workarounded? (especially for the
opam update
use case)The text was updated successfully, but these errors were encountered: