[filetype-nvim]
src.git = "https://github.com/nathom/filetype.nvim.git"
fetch.github = "nathom/filetype.nvim"

[coq-artifacts]
src.git = "https://github.com/ms-jpq/coq.artifacts"
src.branch = "artifacts"
fetch.github = "ms-jpq/coq.artifacts"

[coq-tp]
src.git = "https://github.com/ms-jpq/coq.thirdparty"
src.branch = "3p"
fetch.github = "ms-jpq/coq.thirdparty"