sci-mathematics/agda-1.0.2-r2:emacs