Search Criteria
Package Details: emacs-idris-mode-git 20150609-1
Package Actions
Git Clone URL: | https://aur.archlinux.org/emacs-idris-mode-git.git (read-only, click to copy) |
---|---|
Package Base: | emacs-idris-mode-git |
Description: | Major mode for editing Idris. |
Upstream URL: | https://github.com/idris-hackers/idris-mode |
Licenses: | GPL3 |
Provides: | emacs-idris-mode |
Replaces: | emacs-idris-mode |
Submitter: | soimort |
Maintainer: | micwoj92 |
Last Packager: | micwoj92 |
Votes: | 2 |
Popularity: | 0.44 |
First Submitted: | 2013-09-23 21:35 (UTC) |
Last Updated: | 2024-02-07 10:20 (UTC) |
Dependencies (2)
- emacs (emacs-native-comp-gitAUR, emacs-pgtk-native-comp-gitAUR, emacs-gcc-wayland-devel-binAUR, emacs-ng-gitAUR, emacs-ngAUR, emacs28-gitAUR, emacs29-pgtk-trampolines-gitAUR, emacs-pgtk-gitAUR, emacs29-lucid-native-comp-gitAUR, emacs-lucid-gitAUR, emacs28AUR, emacs28-nativecompAUR, emacs28-noxAUR, emacs-gitAUR, emacs-git-meow-kingAUR, emacs-pretestAUR, emacs-lucidAUR, emacs-lucid-nativecompAUR, emacs29-gitAUR, emacs-nativecomp, emacs-nox, emacs-wayland)
- git (git-gitAUR, git-fcAUR) (make)
Latest Comments
dmz commented on 2017-12-30 23:58 (UTC)
This package didn't work for me because I didn't have the emacs package prop-menu installed. I can't find an AUR package for prop-menu, but maybe there's another way to include the dependency for that.