{
  # Empty configuration
  empty = {
    plugins.coq-thirdparty.enable = true;
  };

  example = {
    plugins.coq-thirdparty = {
      enable = true;

      sources = [
        {
          src = "nvimlua";
          short_name = "nLUA";
        }
        {
          src = "vimtex";
          short_name = "vTEX";
        }
        {
          src = "copilot";
          short_name = "COP";
          accept_key = "<c-f>";
        }
        { src = "demo"; }
      ];
    };
  };
}