[Nix-dev] What is going on?

Wed Nov 11 16:12:13 CET 2009

First the website has many dead links, which I have reported twice,
and now the DNS has gone belly up? Nix is not doing much now:

  nix-env -i arb
  (...)
  curl: (6) Couldn't resolve host 'nix.cs.uu.nl'

wrk at padua:/nix$ curl --ipv4 --silent --show-error http://www.google.com 
<HTML><HEAD><meta http-equiv="content-type" content="text/html;charset=utf-8">
<TITLE>302 Moved</TITLE></HEAD><BODY>
<H1>302 Moved</H1>
The document has moved
<A HREF="http://www.google.nl/">here</A>.
</BODY></HTML>

wrk at padua:/nix$ curl --ipv4 nix.cs.uu.nl
curl: (6) Couldn't resolve host 'nix.cs.uu.nl'

wrk at padua:/nix$ curl nix.cs.uu.nl
curl: (6) Couldn't resolve host 'nix.cs.uu.nl'

wrk at padua:/nix$ dig nix.cs.uu.nl

; <<>> DiG 9.3.4 <<>> nix.cs.uu.nl
;; global options:  printcmd
;; Got answer:
;; ->>HEADER<<- opcode: QUERY, status: NXDOMAIN, id: 45546
;; flags: qr rd ra; QUERY: 1, ANSWER: 0, AUTHORITY: 1, ADDITIONAL: 0

;; QUESTION SECTION:
;nix.cs.uu.nl.                  IN      A

;; AUTHORITY SECTION:
cs.uu.nl.               3220    IN      SOA     ns.cs.uu.nl. hostmaster.cs.uu.nl. 2009111000 3600 7200 604800 23

;; Query time: 23 msec
;; SERVER: 10.110.10.2#53(10.110.10.2)
;; WHEN: Wed Nov 11 16:10:10 2009
;; MSG SIZE  rcvd: 80

Where is it gone?