cabal

cabal update が timeout するので

xmonad と xmobar を入れ直したかったのでふと cabal update してみたら、 何度やっても timeout ……。 ping は飛ばないけれど nslookup で名前引きはできる。 調べてみると IPv4 ならどうとか IPv6 だとどうとか書いてあるブログもあるのだけれど、 cabal の…