自宅からは引けるんだけどな。
あー dns2.pukiwiki.org に聞きに行っちゃうとダメっぽい。
$ dig @dns2.pukiwiki.org pukiwiki.org
; <<>> DiG 9.3.1 <<>> @dns2.pukiwiki.org pukiwiki.org
; (1 server found)
;; global options: printcmd
;; connection timed out; no servers could be reached
traceroute するとその前で止まってるように見えるけど工事か何か？
dns2.pukiwiki.org has address 61.194.40.84
9 g2-0-n-otemachi-core3.sphere.ad.jp (203.138.68.202) 50.919 ms 47.665 ms 47.557 ms
10 210.165.241.2 (210.165.241.2) 71.892 ms 68.190 ms 68.826 ms
11 nas931.sapporo.nttpc.ne.jp (210.165.249.86) 72.344 ms 71.625 ms 70.755 ms
12 61.194.40.81 (61.194.40.81) 80.247 ms 76.258 ms 72.517 ms
13 61.194.40.81 (61.194.40.81) 3068.324 ms !H 3065.929 ms !H 3070.033 ms !H
[8/1 追記] sourceforge.jp に DNS 関連のトラブルのアナウンスが出ましたが、IP アドレスでアクセスしても使いものにならないことを把握しておられなかったので、コメント投げておきました。いずれ解決するでしょう。
[8/17 追記] 相当に放置していたようで、まだまだ復旧しないと。しかし sourceforge のアナウンスはドメインの管理を担当していない heno 氏ばかりですな。ゆう氏はドメインの管理も、今回の顛末のアナウンスも書けないくらいに忙しい？ これ、無策のまま時間が経つのを待つのだとしたら、ものすごく度胸があるってことだけは間違いないなー。
今日知ったんだけど。
ものすごく範囲が広いような気がするけど、具体的にはたっかい講習とか受けないと中身分からないんだろうか。つーかこれを JAGAT がやるのもどうなのだろうと思ったり。