nixpkgs/pkgs/applications/inferno
2015-01-14 20:59:10 -08:00
..
default.nix rename <gcc-frontend>.gcc to <gcc-frontend>.cc 2015-01-14 20:59:10 -08:00
inferno Add inferno, a distributed cross-platform hosted OS 2014-07-02 14:00:49 +12:00