diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2019-06-11 10:27:09 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2019-06-11 10:27:09 +0200 |
| commit | 58bf51b4c0771fb6cfcf22be84d734096e7b11e0 (patch) | |
| tree | 69c22625468b10e43fd37e7c5ddc420a1de6ab55 /gnu/packages/emacs-xyz.scm | |
| parent | 69ecd666d73ebc5ee7a0be54f4e24f000d1d7e31 (diff) | |
| parent | bf3005346e6538aba6d077c887f688779b94b274 (diff) | |
| download | guix-58bf51b4c0771fb6cfcf22be84d734096e7b11e0.tar.gz | |
Merge branch 'master' into staging
Diffstat (limited to 'gnu/packages/emacs-xyz.scm')
| -rw-r--r-- | gnu/packages/emacs-xyz.scm | 45 |
1 files changed, 24 insertions, 21 deletions
diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm index 7db46e81c5..2eb705dedd 100644 --- a/gnu/packages/emacs-xyz.scm +++ b/gnu/packages/emacs-xyz.scm @@ -8534,29 +8534,32 @@ key. Optionally, a mouse pop-up can be added by binding (license license:gpl3+))) (define-public emacs-idris-mode - (package - (name "emacs-idris-mode") - (version "0.9.19") - (source - (origin - (method url-fetch) - (uri (string-append - "http://stable.melpa.org/packages/idris-mode-" - version ".tar")) - (sha256 - (base32 - "16hl2s22l3wc9drnwzw6hn7xrm49ml9lii0s6k218dgahdgsncmf")))) - (build-system emacs-build-system) - (propagated-inputs - `(("emacs-prop-menu" ,emacs-prop-menu))) - (home-page - "https://github.com/idris-hackers/idris-mode") - (synopsis "Major mode for editing Idris code") - (description - "This is an Emacs mode for editing Idris code. It requires the latest + (let ((commit "acc8835449475d7cd205aba213fdd3d41c38ba40") + (revision "0")) + (package + (name "emacs-idris-mode") + (version (git-version "0.9.19" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/idris-hackers/idris-mode.git") + (commit commit))) + (file-name (git-file-name name commit)) + (sha256 + (base32 + "0n9xbknc68id0mf8hbfmawi8qpvrs47ix807sk9ffv2g3ik32kk6")))) + (build-system emacs-build-system) + (propagated-inputs + `(("emacs-prop-menu" ,emacs-prop-menu))) + (home-page + "https://github.com/idris-hackers/idris-mode") + (synopsis "Major mode for editing Idris code") + (description + "This is an Emacs mode for editing Idris code. It requires the latest version of Idris, and some features may rely on the latest Git version of Idris.") - (license license:gpl3+))) + (license license:gpl3+)))) (define-public emacs-browse-at-remote (package |