2020-12-24 02:09:25 +00:00
|
|
|
{
|
|
|
|
|
"url": "https://github.com/tree-sitter/tree-sitter-agda",
|
|
|
|
|
"rev": "d710ff14d15ddee3764fd73a0837c6c4c8c913e9",
|
|
|
|
|
"date": "2019-09-20T18:06:06+08:00",
|
|
|
|
|
"path": "/nix/store/wqz9v9znaiwhhqi19hgig9bn0yvl4i9s-tree-sitter-agda",
|
|
|
|
|
"sha256": "1wpfj47l97pxk3i9rzdylqipy849r482fnj3lmx8byhalv7z1vm6",
|
2021-09-06 05:05:50 +01:00
|
|
|
"fetchLFS": false,
|
2020-12-24 02:09:25 +00:00
|
|
|
"fetchSubmodules": false,
|
|
|
|
|
"deepClone": false,
|
|
|
|
|
"leaveDotGit": false
|
|
|
|
|
}
|
