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 |