{
  name = "micro";
  homepage = "https://micro-editor.github.io";
  maintainers = [ ];
}