[debbugs-tracker] bug#26198: closed ([PATCH 2/2] gnu: idris: Update to 0.99.1.)

[GNU bug Tracking System]

Your message dated Thu, 23 Mar 2017 12:58:34 +0100
with message-id <address@hidden>
and subject line Re: bug#26198: [PATCH 2/2] gnu: idris: Update to 0.99.1.
has caused the debbugs.gnu.org bug report #26198,
regarding [PATCH 2/2] gnu: idris: Update to 0.99.1.
to be marked as done.

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


-- 
26198: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=26198
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 2/2] gnu: idris: Update to 0.99.1.
>
>
>
>
> Date: 
>
> Mon, 20 Mar 2017 20:17:10 +0100
>
>
>
>
> * gnu/packages/idris.scm (idris): Update to 0.99.1.
> [inputs]: Add ghc-code-page.
> ---
>  gnu/packages/idris.scm | 5 +++--
>  1 file changed, 3 insertions(+), 2 deletions(-)
>
> diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm
> index 02198a5a7..2b7f4cc9d 100644
> --- a/gnu/packages/idris.scm
> +++ b/gnu/packages/idris.scm
> @@ -31,7 +31,7 @@
>  (define-public idris
>    (package
>      (name "idris")
> -    (version "0.99")
> +    (version "0.99.1")
>      (source (origin
>                (method url-fetch)
>                (uri (string-append
> @@ -39,7 +39,7 @@
>                      "idris-" version "/idris-" version ".tar.gz"))
>                (sha256
>                 (base32
> -                "1sd4vy5rx0mp32xj99qijhknkgw4d2rxvz6wiy3pym6kaqmc497i"))))
> +                "12kw452arnl5ldip2x749j5np3l40bv7asqdv9w0f60j45hii40r"))))
>      (build-system haskell-build-system)
>      (inputs
>       `(("gmp" ,gmp)
> @@ -53,6 +53,7 @@
>         ("ghc-blaze-html" ,ghc-blaze-html)
>         ("ghc-blaze-markup" ,ghc-blaze-markup)
>         ("ghc-cheapskate" ,ghc-cheapskate)
> +       ("ghc-code-page" ,ghc-code-page)
>         ("ghc-fingertree" ,ghc-fingertree)
>         ("ghc-fsnotify" ,ghc-fsnotify)
>         ("ghc-ieee754" ,ghc-ieee754)
> -- 
> 2.12.0
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#26198: [PATCH 2/2] gnu: idris: Update to 0.99.1.
>
>
>
>
> Date: 
>
> Thu, 23 Mar 2017 12:58:34 +0100
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux)
>
>
>
>
> Hello,
>
> Peter Mikkelsen <address@hidden> skribis:
>
> > * gnu/packages/idris.scm (idris): Update to 0.99.1.
> > [inputs]: Add ghc-code-page.
>
> Applied, thanks!
>
> Ludo’.
>
>
> --- End Message ---