From debbugs-submit-bounces@debbugs.gnu.org Mon Mar 20 16:35:41 2017 Received: (at submit) by debbugs.gnu.org; 20 Mar 2017 20:35:41 +0000 Received: from localhost ([127.0.0.1]:36756 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cq41l-0001Oc-76 for submit@debbugs.gnu.org; Mon, 20 Mar 2017 16:35:41 -0400 Received: from eggs.gnu.org ([208.118.235.92]:42577) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cq1sM-0006Md-FM for submit@debbugs.gnu.org; Mon, 20 Mar 2017 14:17:50 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cq1sG-0006yy-AI for submit@debbugs.gnu.org; Mon, 20 Mar 2017 14:17:45 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: * X-Spam-Status: No, score=1.1 required=5.0 tests=BAYES_50, FREEMAIL_ENVFROM_END_DIGIT,FREEMAIL_FROM,T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:46014) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1cq1sG-0006yt-6a for submit@debbugs.gnu.org; Mon, 20 Mar 2017 14:17:44 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:33514) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cq1sF-0005x5-6s for guix-patches@gnu.org; Mon, 20 Mar 2017 14:17:44 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cq1sC-0006x8-DB for guix-patches@gnu.org; Mon, 20 Mar 2017 14:17:43 -0400 Received: from mail-lf0-x234.google.com ([2a00:1450:4010:c07::234]:32791) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1cq1sC-0006wn-5U for guix-patches@gnu.org; Mon, 20 Mar 2017 14:17:40 -0400 Received: by mail-lf0-x234.google.com with SMTP id a6so58792273lfa.0 for ; Mon, 20 Mar 2017 11:17:40 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:date:message-id:in-reply-to:references; bh=ii2HsaSRSUCZRaQDOPq/YpnUaTsHjqDxzhc0H9QQDkE=; b=BngpuZCN+4owgKuVb2CmFTrkvwGLWVL2sDhSflPLwsVGM97LVDGlNFokwqG0k0XNnU KVDBwWIpMnNFCW/d2Wdrveg83LRkZ7Pv2VN0IH+r2vlbu6N6YdzHUvw/OhYwus/RxntL RQoczY/vbnIAzZIsTrJTf+l4LSQNpA90MbGbeUZJmrZDYD5DuBGiHAfEfdeRG1hGfBZt 3ssoE0qQ9cbGhvljCLxFhnI10g2D0Gm10O+5ge+BKn/uiHfUQ/l5PjrXrNTWsmWAKXdU jzTmN7ZFDlCVDYhPSKR6vbcQumcO/R3oQpiZjd6CF5oiusjoM8ZFRyKTVZoB4j5G6SsF PCEQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references; bh=ii2HsaSRSUCZRaQDOPq/YpnUaTsHjqDxzhc0H9QQDkE=; b=VcX8IaU7icM5a4ifkg6vr5RjzVIhT48wyd9b6n7Jp52g7fKlt9iBppxizOJo80t+pQ udWJ/1zTCL9epbHCFxQ4N5pXzouGV/4gj6KnTtyp0STQqD5fqn5A1vqavu6hTmLz5aCC sj0j8UQbE/RUXdDAaSde9Pd6opdKF7QikCTI5OwkAoNj+PNEOaMN328wrMRoX87G9u/q 6WQ+ia6BnrW0EgyZDzMrvKSFvYrk66oLy1pczZ5ecK7Cq4lIKDAqWUAHn2C995h2y4SA 6b0SCzbg+Ce61pYIZZ+eiqkVNN3HocqYT7IXwXhj0OmKjitroaDl8ufypBvs9S9BHvQ5 eogQ== X-Gm-Message-State: AFeK/H0wYNv4h/Qo0VfvXxIDUTwvJnH1nLRht1IIQ5VaWpRIsJTjK2kyWP7SbC8nM1uSNg== X-Received: by 10.46.32.17 with SMTP id g17mr9820227ljg.37.1490033858677; Mon, 20 Mar 2017 11:17:38 -0700 (PDT) Received: from localhost.localdomain (0x5552b24e.adsl.cybercity.dk. [85.82.178.78]) by smtp.gmail.com with ESMTPSA id s15sm240831ljd.27.2017.03.20.11.17.37 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 20 Mar 2017 11:17:38 -0700 (PDT) From: Peter Mikkelsen To: guix-patches@gnu.org Subject: [PATCH 2/2] gnu: idris: Update to 0.99.1. Date: Mon, 20 Mar 2017 20:17:10 +0100 Message-Id: <20170320191710.18487-3-petermikkelsen10@gmail.com> X-Mailer: git-send-email 2.12.0 In-Reply-To: <20170320191710.18487-1-petermikkelsen10@gmail.com> References: <20170320191710.18487-1-petermikkelsen10@gmail.com> X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -3.8 (---) X-Debbugs-Envelope-To: submit X-Mailman-Approved-At: Mon, 20 Mar 2017 16:35:40 -0400 Cc: Peter Mikkelsen X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.8 (---) * 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 From debbugs-submit-bounces@debbugs.gnu.org Thu Mar 23 07:58:47 2017 Received: (at 26198-done) by debbugs.gnu.org; 23 Mar 2017 11:58:47 +0000 Received: from localhost ([127.0.0.1]:40227 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cr1OB-0001w2-IJ for submit@debbugs.gnu.org; Thu, 23 Mar 2017 07:58:47 -0400 Received: from eggs.gnu.org ([208.118.235.92]:48308) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cr1O9-0001vm-Q0 for 26198-done@debbugs.gnu.org; Thu, 23 Mar 2017 07:58:46 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cr1O1-0007Xq-L5 for 26198-done@debbugs.gnu.org; Thu, 23 Mar 2017 07:58:40 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,RP_MATCHES_RCVD autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:34801) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cr1O1-0007Xm-Hm; Thu, 23 Mar 2017 07:58:37 -0400 Received: from [193.50.110.248] (port=41270 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1cr1O0-0003Ml-W6; Thu, 23 Mar 2017 07:58:37 -0400 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) To: Peter Mikkelsen Subject: Re: bug#26198: [PATCH 2/2] gnu: idris: Update to 0.99.1. References: <20170320191710.18487-1-petermikkelsen10@gmail.com> <20170320191710.18487-3-petermikkelsen10@gmail.com> Date: Thu, 23 Mar 2017 12:58:34 +0100 In-Reply-To: <20170320191710.18487-3-petermikkelsen10@gmail.com> (Peter Mikkelsen's message of "Mon, 20 Mar 2017 20:17:10 +0100") Message-ID: <87r31omcgl.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: 26198-done Cc: 26198-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.0 (-----) Hello, Peter Mikkelsen skribis: > * gnu/packages/idris.scm (idris): Update to 0.99.1. > [inputs]: Add ghc-code-page. Applied, thanks! Ludo=E2=80=99. From unknown Sun Jun 22 22:45:25 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Fri, 21 Apr 2017 11:24:05 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator