Search Criteria
Notice: Undefined variable: name in /srv/http/vhosts/aur-dev.archlinux.org/public/web/lib/pkgfuncs.inc.php on line 248
Package Details: emacs-idris-mode-git 20150609-1
Git Clone URL: | https://aur-dev.archlinux.org/emacs-idris-mode-git.git (read-only) |
---|---|
Package Base: | emacs-idris-mode-git |
Description: | Major mode for editing Idris. |
Upstream URL: | https://github.com/idris-hackers/idris-mode |
Licenses: | |
Provides: | |
Replaces: | |
Submitter: | soimort |
Maintainer: | soimort |
Last Packager: | soimort |
Votes: | 1 |
Popularity: | 0.000000 |
First Submitted: | 2013-09-23 21:35 |
Last Updated: | 2015-06-09 06:33 |