[debbugs-tracker] bug#26506: closed ([PATCH 1/2] gnu: idris: Update to 1.0.)

[GNU bug Tracking System]

Your message dated Sat, 15 Apr 2017 02:49:34 +0200
with message-id <address@hidden>
and subject line Closing duplicate bug
has caused the debbugs.gnu.org bug report #26506,
regarding [PATCH 1/2] gnu: idris: Update to 1.0.
to be marked as done.

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


-- 
26506: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=26506
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 1/2] gnu: idris: Update to 1.0.
>
>
>
>
> Date: 
>
> Sat, 15 Apr 2017 04:30:38 +0200
>
>
>
>
> * gnu/packages/idris.scm (idris): Update to 1.0.
> ---
>  gnu/packages/idris.scm | 4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm
> index 2b7f4cc9d..4e3a4fddb 100644
> --- a/gnu/packages/idris.scm
> +++ b/gnu/packages/idris.scm
> @@ -31,7 +31,7 @@
>  (define-public idris
>    (package
>      (name "idris")
> -    (version "0.99.1")
> +    (version "1.0")
>      (source (origin
>                (method url-fetch)
>                (uri (string-append
> @@ -39,7 +39,7 @@
>                      "idris-" version "/idris-" version ".tar.gz"))
>                (sha256
>                 (base32
> -                "12kw452arnl5ldip2x749j5np3l40bv7asqdv9w0f60j45hii40r"))))
> +                "1srbz0cyvd0k1yqgbrwnfj94yg5y3z533q1kzac96z1h7v454s5h"))))
>      (build-system haskell-build-system)
>      (inputs
>       `(("gmp" ,gmp)
> -- 
> 2.12.2
>
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Closing duplicate bug Date: Sat, 15 Apr 2017 02:49:34 +0200

I made a mistake and this is a duplicate of 26505. 

--- End Message ---