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