381aecc283
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org> |
||
---|---|---|
.gitignore | ||
Agda-2.5.3.cabal | ||
Agda-HashMap.patch | ||
agda-mode-init.el | ||
Agda.spec | ||
sources |
381aecc283
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org> |
||
---|---|---|
.gitignore | ||
Agda-2.5.3.cabal | ||
Agda-HashMap.patch | ||
agda-mode-init.el | ||
Agda.spec | ||
sources |