[debbugs-tracker] bug#36018: closed ([PATCH] gnu: emacs-idris-mode: Use recent git checkout.)

[GNU bug Tracking System]

Your message dated Mon, 10 Jun 2019 00:20:27 -0400 (EDT)
with message-id <address@hidden>
and subject line 
has caused the debbugs.gnu.org bug report #36018,
regarding [PATCH] gnu: emacs-idris-mode: Use recent git checkout.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
36018: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=36018
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: emacs-idris-mode: Use recent git checkout.
>
>
>
>
> Date: 
>
> Thu, 30 May 2019 22:15:52 -0500
>
>
>
>
> From: Eric Bavier <address@hidden>
>
> * gnu/packages/emacs-xyz.scm (emacs-idris-mode)[source]: Use git-fetch.
> [version]: Include revision and commit.
> ---
> This fixes, amongst other things, syntax highlighting when used with the
> latest version of idris.
>
>  gnu/packages/emacs-xyz.scm | 45 ++++++++++++++++++++------------------
>  1 file changed, 24 insertions(+), 21 deletions(-)
>
> diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm
> index 6f74a2fc45..1d5222367a 100644
> --- a/gnu/packages/emacs-xyz.scm
> +++ b/gnu/packages/emacs-xyz.scm
> @@ -8359,29 +8359,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
> -- 
> 2.21.0
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
>
>
>
>
>
> Date: 
>
> Mon, 10 Jun 2019 00:20:27 -0400 (EDT)
>
>
>
>
> Pushed in commit ac302576006c95ab9adfe7a1f9bf11f7f3846e45
>
> Thanks,
> -- 
> `~Eric
>
>
> --- End Message ---