commit 8beff45c799b9de25e6c026f790d1d2839944514
Author: Miezhiko <Miezhiko@gmail.com>
Date: Fri Dec 29 11:58:26 2023 +0400

new year thing

Signed-off-by: Miezhiko <Miezhiko@gmail.com>

commit 461e87bc9f51b095f6304d83aa9e359117a81648
Author: Miezhiko <Miezhiko@gmail.com>
Date: Wed Dec 20 17:01:23 2023 +0400

update idris2 ebuild +src, correct idris2-lsp runscript

Signed-off-by: Miezhiko <Miezhiko@gmail.com>

commit 379975053548f7f7a6a418bc230401ae57f7e398
Author: Miezhiko <Miezhiko@gmail.com>
Date: Wed Dec 20 16:22:04 2023 +0400

Idris2 Language Server

Signed-off-by: Miezhiko <Miezhiko@gmail.com>