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