GNU bug report logs - #26198
[PATCH 2/2] gnu: idris: Update to 0.99.1.

Previous Next

Package: guix-patches;

Reported by: Peter Mikkelsen <petermikkelsen10 <at> gmail.com>

Date: Mon, 20 Mar 2017 20:36:03 UTC

Severity: normal

Tags: patch

Done: ludo <at> gnu.org (Ludovic Courtès)

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 26198 in the body.
You can then email your comments to 26198 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to guix-patches <at> gnu.org:
bug#26198; Package guix-patches. (Mon, 20 Mar 2017 20:36:03 GMT) Full text and rfc822 format available.
Acknowledgement sent to Peter Mikkelsen <petermikkelsen10 <at> gmail.com>:
New bug report received and forwarded. Copy sent to guix-patches <at> gnu.org. (Mon, 20 Mar 2017 20:36:03 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Peter Mikkelsen <petermikkelsen10 <at> gmail.com>
To: guix-patches <at> gnu.org
Cc: Peter Mikkelsen <petermikkelsen10 <at> gmail.com>
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
Reply sent to ludo <at> gnu.org (Ludovic Courtès):
You have taken responsibility. (Thu, 23 Mar 2017 11:59:02 GMT) Full text and rfc822 format available.
Notification sent to Peter Mikkelsen <petermikkelsen10 <at> gmail.com>:
bug acknowledged by developer. (Thu, 23 Mar 2017 11:59:02 GMT) Full text and rfc822 format available.

Message #10 received at 26198-done <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Peter Mikkelsen <petermikkelsen10 <at> gmail.com>
Cc: 26198-done <at> debbugs.gnu.org
Subject: Re: bug#26198: [PATCH 2/2] gnu: idris: Update to 0.99.1.
Date: Thu, 23 Mar 2017 12:58:34 +0100

Hello,

Peter Mikkelsen <petermikkelsen10 <at> gmail.com> skribis:

> * gnu/packages/idris.scm (idris): Update to 0.99.1.
> [inputs]: Add ghc-code-page.

Applied, thanks!

Ludo’.
bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Fri, 21 Apr 2017 11:24:05 GMT) Full text and rfc822 format available.
This bug report was last modified 8 years and 64 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.