Releases · tree-sitter/tree-sitter-agda · GitHub

20 Sep 10:18

banacorn

v1.2.1 Latest

Latest

[ git ] Bump version

Assets 82

tree-sitter-agda-v1.2.1-electron-v47-darwin-x64.tar.gz

239 KB 2019-09-20T10:20:46Z
tree-sitter-agda-v1.2.1-electron-v47-linux-x64.tar.gz

241 KB 2019-09-20T10:18:22Z
tree-sitter-agda-v1.2.1-electron-v47-win32-ia32.tar.gz

282 KB 2019-09-20T10:24:55Z
tree-sitter-agda-v1.2.1-electron-v47-win32-x64.tar.gz

283 KB 2019-09-20T10:19:45Z
tree-sitter-agda-v1.2.1-electron-v48-darwin-x64.tar.gz

239 KB 2019-09-20T10:20:46Z
tree-sitter-agda-v1.2.1-electron-v48-linux-x64.tar.gz

241 KB 2019-09-20T10:18:22Z
tree-sitter-agda-v1.2.1-electron-v48-win32-ia32.tar.gz

282 KB 2019-09-20T10:24:55Z
tree-sitter-agda-v1.2.1-electron-v48-win32-x64.tar.gz

283 KB 2019-09-20T10:19:45Z
tree-sitter-agda-v1.2.1-electron-v49-darwin-x64.tar.gz

239 KB 2019-09-20T10:20:46Z
tree-sitter-agda-v1.2.1-electron-v49-linux-x64.tar.gz

241 KB 2019-09-20T10:18:22Z
Source code (zip)

2019-09-20T10:06:06Z
Source code (tar.gz)

2019-09-20T10:06:06Z

26 Jul 08:48

banacorn

v1.1.1

[ dep ] Bump version to 1.1.1

Assets 78

20 Jun 07:42

banacorn

v1.1.0

Merge branch 'master' of github.com:tree-sitter/tree-sitter-agda

Assets 78

03 Oct 08:25

banacorn

v1.0.16

1.0.16

Assets 62

03 Oct 07:52

banacorn

v1.0.15

1.0.15

Assets 62

03 Oct 07:07

banacorn

v1.0.14

1.0.14

Assets 62

01 Aug 07:55

banacorn

v1.0.10

1.0.10

Assets 5

31 Jul 05:00

banacorn

v1.0.8

oopsy

Assets 5