I want to install some of my development machines with debian. Where can I grab it? How mature is it?