Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: emacs-idris-mode-git 20240619-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:	GPL-3.0-or-later
Conflicts:	emacs-idris-mode
Provides:	emacs-idris-mode
Submitter:	soimort
Maintainer:	None
Last Packager:	micwoj92
Votes:	1
Popularity:	0.000000
First Submitted:	2013-09-23 21:35 (UTC)
Last Updated:	2024-06-22 15:06 (UTC)

Dependencies (3)

emacs (emacs-native-comp-git^AUR, emacs-ng-git^AUR, emacs-ng^AUR, emacs-lucid-git^AUR, emacs28^AUR, emacs28-nativecomp^AUR, emacs28-nox^AUR, emacs-git^AUR, emacs29-git^AUR, emacs-pretest^AUR, emacs-pgtk-git^AUR, emacs-lucid^AUR, emacs-lucid-nativecomp^AUR, emacs29-lucid-native-comp-git^AUR, emacs-nativecomp, emacs-nox, emacs-wayland)
emacs-prop-menu (emacs-prop-menu-git^AUR)
git (git-git^AUR, git-gl^AUR) (make)

Required by (0)

Sources (1)

git+https://github.com/idris-hackers/idris-mode

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.