Kovacsics Robert (NixOS) 5e5cd7c93c inferno: 645 -> 785		2016-02-28 20:16:08 +00:00
..
default.nix	inferno: 645 -> 785	2016-02-28 20:16:08 +00:00
inferno	Add inferno, a distributed cross-platform hosted OS	2014-07-02 14:00:49 +12:00