gentoo.mahdi.cz
app-emacs
:eri
Enhanced relative indentation (eri)
https://github.com/agda/agda
eri-20240220.2129
download
~amd64 ~x86
melpa
eri-2.6.4.3
download
~amd64 ~x86
melpa-stable