diff options
author | Eric Bavier <bavier@member.fsf.org> | 2019-05-30 22:11:52 -0500 |
---|---|---|
committer | Eric Bavier <bavier@member.fsf.org> | 2019-06-09 23:18:16 -0500 |
commit | ac302576006c95ab9adfe7a1f9bf11f7f3846e45 (patch) | |
tree | a1314b4975f5454ae4006ab57c35b8fadb213f6b /gnu/packages | |
parent | 535a69e9e5aae2f59470caf900ece56f83ee6e36 (diff) |
gnu: emacs-idris-mode: Use recent git checkout.
* gnu/packages/emacs-xyz.scm (emacs-idris-mode)[source]: Use git-fetch.
[version]: Include revision and commit.
Diffstat (limited to 'gnu/packages')
-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 |