Hi, The NixOS website is temporarily down for some maintenance. (We need to disassemble the rack to be able to add some new machines...) This might take a few hours. -- Eelco Dolstra | http://www.st.ewi.tudelft.nl/~dolstra/