[tex-live] http://www.tug.org down?

[Denis Bitouzé]

Le 09/12/17 à 18h36, Norbert Preining a écrit :

> No problem here in Japan.

Quite strange:

  ┌────
  │ ╭─bitouze at drums-bis ~
  │ ╰─➤  ping www.tug.org                                                                                                                                                                                                                     2 ↵
  │ PING tug.org (91.121.174.77) 56(84) bytes of data.
  │ ^C
  │ --- tug.org ping statistics ---
  │ 10 packets transmitted, 0 received, 100% packet loss, time 9197ms
  │ 
  │ ╭─bitouze at drums-bis ~
  │ ╰─➤  ping www.ctan.org                                                                                                                                                                                                                    1 ↵
  │ PING comedy.dante.de (176.28.54.184) 56(84) bytes of data.
  │ 64 bytes from comedy.dante.de (176.28.54.184): icmp_seq=1 ttl=54 time=38.4 ms
  │ 64 bytes from comedy.dante.de (176.28.54.184): icmp_seq=2 ttl=54 time=38.9 ms
  │ 64 bytes from comedy.dante.de (176.28.54.184): icmp_seq=3 ttl=54 time=37.7 ms
  │ 64 bytes from comedy.dante.de (176.28.54.184): icmp_seq=4 ttl=54 time=38.9 ms
  │ ^C
  │ --- comedy.dante.de ping statistics ---
  │ 4 packets transmitted, 4 received, 0% packet loss, time 3004ms
  │ rtt min/avg/max/mdev = 37.784/38.524/38.964/0.479 ms
  └────
-- 
Denis