From unknown Sat Sep 13 23:19:30 2025 X-Loop: help-debbugs@gnu.org Subject: bug#26506: [PATCH 1/2] gnu: idris: Update to 1.0. Resent-From: Peter Mikkelsen Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 15 Apr 2017 00:31:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 26506 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 26505@debbugs.gnu.org, 26506@debbugs.gnu.org Cc: Peter Mikkelsen X-Debbugs-Original-To: 26505@debbugs.gnu.org, guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.149221625625526 (code B ref -1); Sat, 15 Apr 2017 00:31:02 +0000 Received: (at submit) by debbugs.gnu.org; 15 Apr 2017 00:30:56 +0000 Received: from localhost ([127.0.0.1]:47602 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1czBc7-0006de-NP for submit@debbugs.gnu.org; Fri, 14 Apr 2017 20:30:55 -0400 Received: from eggs.gnu.org ([208.118.235.92]:54057) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1czBc6-0006dS-3L for submit@debbugs.gnu.org; Fri, 14 Apr 2017 20:30:54 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1czBbz-0000eA-Ru for submit@debbugs.gnu.org; Fri, 14 Apr 2017 20:30:48 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.3 required=5.0 tests=BAYES_20, 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]:52319) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1czBbz-0000e0-Hn for submit@debbugs.gnu.org; Fri, 14 Apr 2017 20:30:47 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:45019) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1czBby-0003tD-Av for guix-patches@gnu.org; Fri, 14 Apr 2017 20:30:47 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1czBbu-0000cn-LU for guix-patches@gnu.org; Fri, 14 Apr 2017 20:30:45 -0400 Received: from mail-lf0-x242.google.com ([2a00:1450:4010:c07::242]:36624) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1czBbt-0000cK-Vm for guix-patches@gnu.org; Fri, 14 Apr 2017 20:30:42 -0400 Received: by mail-lf0-x242.google.com with SMTP id 75so11261757lfs.3 for ; Fri, 14 Apr 2017 17:30:41 -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; bh=hPUtWGeyqgz+VOscweW5CxEdvnGt+sZUQil47XV0lpk=; b=e2dhw4UAx+Ch/zLW7AKIeMZHhAN18bRGOstEic2imsQa/BuXlZzq6RGgRH0wvOgBzm vyaFOctPnUOtLRXeEmsEBk/1zQpjTik4ETnMab0p7yBMHbHSiDqtkcfcJCIiXEb9wF4F Vkn3C4vFH5cFLVGZlGDkWRnIl3SoULpLe1JujkRrTA+PdRfY0SQV9PQm3IAqeE8kgnXC gfwQ5IL0ewv1ZrVN+lWCCKvdVy+uT9qotONQRScysSVKosxa5sx9gQM2bHyW6y6mvYdt rK9OqZeOQfF5CJpsZEqzc9qr7+13i7xftUgnCVoU8mK8fyUtXYH/KYPHBVR5vOdFdOvN zFBg== 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; bh=hPUtWGeyqgz+VOscweW5CxEdvnGt+sZUQil47XV0lpk=; b=MtDDkYHzm4VRNIEQ1spmsw5s65mOz956N6qPPZPyfrXwQk1c6CvyeeMfY7UkljAHCD L7Ogw6eF5pDq+j5IiuoAv20+4X1mOO1+dUcS3iQJbblf61xvpCRIyOyucOrfFK8nbCWX RnV7tGDVKl3uu2pcveUuSt0mQ66qtphYamBhBBcOTq8k+0O9/A+DtSuBRS5bmXCwKqbD 259eJWU7+QcZUqXekNw3/oQN0vcx68p2ixPCwJIxBx3XdjNUnoJLJc7xeNCGU/I6Sza1 qLBbs9/U1icmZ2C99LiMsct5b8hf2oXFgP8IvsbhWmP/y6WQuljPK9/OkMzwnI1ZhN6F V6rQ== X-Gm-Message-State: AN3rC/6yVQEh2v9MWpNSyIW7+Bp1igrL3vTvluKdCYfA69ByQMBeXxsh gyI8QyAzMRTWLFpmZ2huFQ== X-Received: by 10.25.29.204 with SMTP id d195mr61178lfd.173.1492216240561; Fri, 14 Apr 2017 17:30:40 -0700 (PDT) Received: from localhost.localdomain (0x4dd5279e.adsl.cybercity.dk. [77.213.39.158]) by smtp.gmail.com with ESMTPSA id y14sm645535ljd.41.2017.04.14.17.30.39 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 14 Apr 2017 17:30:39 -0700 (PDT) From: Peter Mikkelsen Date: Sat, 15 Apr 2017 04:30:38 +0200 Message-Id: <20170415023038.9659-1-petermikkelsen10@gmail.com> X-Mailer: git-send-email 2.12.2 X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. 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-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 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 From unknown Sat Sep 13 23:19:30 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Peter Mikkelsen Subject: bug#26506: closed (Closing duplicate bug) Message-ID: References: <20170415023038.9659-1-petermikkelsen10@gmail.com> X-Gnu-PR-Message: they-closed 26506 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 26506@debbugs.gnu.org Date: Sat, 15 Apr 2017 00:50:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1492217402-27258-1" This is a multi-part message in MIME format... ------------=_1492217402-27258-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #26506: [PATCH 1/2] gnu: idris: Update to 1.0. which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 26506@debbugs.gnu.org. --=20 26506: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D26506 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1492217402-27258-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 26506-done) by debbugs.gnu.org; 15 Apr 2017 00:49:43 +0000 Received: from localhost ([127.0.0.1]:47624 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1czBuI-000756-Rs for submit@debbugs.gnu.org; Fri, 14 Apr 2017 20:49:42 -0400 Received: from mail-it0-f46.google.com ([209.85.214.46]:35602) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1czBuH-00074u-29 for 26506-done@debbugs.gnu.org; Fri, 14 Apr 2017 20:49:41 -0400 Received: by mail-it0-f46.google.com with SMTP id 70so2634536ita.0 for <26506-done@debbugs.gnu.org>; Fri, 14 Apr 2017 17:49:40 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=1WaCWA4zbrHKJxcJyphURmtIDZKKr6UHbwU4Sr/v70g=; b=B60wVxbdei++RI0ntRcS5OfgOTi+YlZ01fiYxW/1Yb5c6wDvBG8YZsMvb5GF365Ig8 RXn0fOIIASVdU8ifpAfe+qxdn/YnLNx193WKf8EOJGLd4pjVPPK5N7nYBe0Ntv8MLuyH TMWdsS6k6Oztedzr7wrxIAzYJHWEF04FyvOvQs9IWDXxytExcXV7p9Ti5NcbUzzv/Re0 c8/1j6kgppAfJfiEs3nqMl9zZPs60vh7MWeI3wPGE7N3POab5Ke4v10UXLwJn1JgB52O pdvi/WMe6K5bwgddQ46Vr3lcrjfsNnUdSr2SDALXiuTSZn9B6imKZtPx/ynMh1rKkyrc BSCw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=1WaCWA4zbrHKJxcJyphURmtIDZKKr6UHbwU4Sr/v70g=; b=ndSG/2MGdnFUzWbEJMJ/HvH571oh9FTaxibSHIkpPnA2qygb3xKg8YMR6mKP0KlUTv dbvVhEsEJXQYAvlqw2lqwKl0HFFO3UWywwyc1ZNEL1s2t7AWZ9UI1Dkw3kyDu7TEglQS FwvSmddp5OeVakKzkq3CdmAOSh1n/BDD5EHwwfNUldGjxRjflUcZvJvJy6d7MohB5tBy cWiSxOqk7OUX/e9HE1kIfsQMFbweUWa17zz4QzdnpGefHt7n5kuuuInKPde39RGqIWlc ETqDW0PEKnfdn8VBvdTsaws3UWJYE26W9JY84si0/vEDohM9u9qBnaR8CZ2G1xSGmrbl vu8Q== X-Gm-Message-State: AN3rC/4ay9dMOS7TJgTH87w1PufUw8Qdc3T9zv1r9R+E0B2mH8oZ1ieA 8dGdS1vnEwwYdaDu6609O5JWqHmIVXWB X-Received: by 10.36.89.196 with SMTP id p187mr1204264itb.71.1492217375316; Fri, 14 Apr 2017 17:49:35 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.78.135 with HTTP; Fri, 14 Apr 2017 17:49:34 -0700 (PDT) Received: by 10.79.78.135 with HTTP; Fri, 14 Apr 2017 17:49:34 -0700 (PDT) From: Peter Mikkelsen Date: Sat, 15 Apr 2017 02:49:34 +0200 Message-ID: Subject: Closing duplicate bug To: 26506-done@debbugs.gnu.org Content-Type: multipart/alternative; boundary=001a11449778956304054d29ee7b X-Spam-Score: 0.7 (/) X-Debbugs-Envelope-To: 26506-done 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: 0.7 (/) --001a11449778956304054d29ee7b Content-Type: text/plain; charset=UTF-8 I made a mistake and this is a duplicate of 26505. --001a11449778956304054d29ee7b Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
I made a mistake and this is a duplicate of 26505.=C2=A0<= /div> --001a11449778956304054d29ee7b-- ------------=_1492217402-27258-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 15 Apr 2017 00:30:56 +0000 Received: from localhost ([127.0.0.1]:47602 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1czBc7-0006de-NP for submit@debbugs.gnu.org; Fri, 14 Apr 2017 20:30:55 -0400 Received: from eggs.gnu.org ([208.118.235.92]:54057) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1czBc6-0006dS-3L for submit@debbugs.gnu.org; Fri, 14 Apr 2017 20:30:54 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1czBbz-0000eA-Ru for submit@debbugs.gnu.org; Fri, 14 Apr 2017 20:30:48 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.3 required=5.0 tests=BAYES_20, 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]:52319) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1czBbz-0000e0-Hn for submit@debbugs.gnu.org; Fri, 14 Apr 2017 20:30:47 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:45019) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1czBby-0003tD-Av for guix-patches@gnu.org; Fri, 14 Apr 2017 20:30:47 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1czBbu-0000cn-LU for guix-patches@gnu.org; Fri, 14 Apr 2017 20:30:45 -0400 Received: from mail-lf0-x242.google.com ([2a00:1450:4010:c07::242]:36624) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1czBbt-0000cK-Vm for guix-patches@gnu.org; Fri, 14 Apr 2017 20:30:42 -0400 Received: by mail-lf0-x242.google.com with SMTP id 75so11261757lfs.3 for ; Fri, 14 Apr 2017 17:30:41 -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; bh=hPUtWGeyqgz+VOscweW5CxEdvnGt+sZUQil47XV0lpk=; b=e2dhw4UAx+Ch/zLW7AKIeMZHhAN18bRGOstEic2imsQa/BuXlZzq6RGgRH0wvOgBzm vyaFOctPnUOtLRXeEmsEBk/1zQpjTik4ETnMab0p7yBMHbHSiDqtkcfcJCIiXEb9wF4F Vkn3C4vFH5cFLVGZlGDkWRnIl3SoULpLe1JujkRrTA+PdRfY0SQV9PQm3IAqeE8kgnXC gfwQ5IL0ewv1ZrVN+lWCCKvdVy+uT9qotONQRScysSVKosxa5sx9gQM2bHyW6y6mvYdt rK9OqZeOQfF5CJpsZEqzc9qr7+13i7xftUgnCVoU8mK8fyUtXYH/KYPHBVR5vOdFdOvN zFBg== 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; bh=hPUtWGeyqgz+VOscweW5CxEdvnGt+sZUQil47XV0lpk=; b=MtDDkYHzm4VRNIEQ1spmsw5s65mOz956N6qPPZPyfrXwQk1c6CvyeeMfY7UkljAHCD L7Ogw6eF5pDq+j5IiuoAv20+4X1mOO1+dUcS3iQJbblf61xvpCRIyOyucOrfFK8nbCWX RnV7tGDVKl3uu2pcveUuSt0mQ66qtphYamBhBBcOTq8k+0O9/A+DtSuBRS5bmXCwKqbD 259eJWU7+QcZUqXekNw3/oQN0vcx68p2ixPCwJIxBx3XdjNUnoJLJc7xeNCGU/I6Sza1 qLBbs9/U1icmZ2C99LiMsct5b8hf2oXFgP8IvsbhWmP/y6WQuljPK9/OkMzwnI1ZhN6F V6rQ== X-Gm-Message-State: AN3rC/6yVQEh2v9MWpNSyIW7+Bp1igrL3vTvluKdCYfA69ByQMBeXxsh gyI8QyAzMRTWLFpmZ2huFQ== X-Received: by 10.25.29.204 with SMTP id d195mr61178lfd.173.1492216240561; Fri, 14 Apr 2017 17:30:40 -0700 (PDT) Received: from localhost.localdomain (0x4dd5279e.adsl.cybercity.dk. [77.213.39.158]) by smtp.gmail.com with ESMTPSA id y14sm645535ljd.41.2017.04.14.17.30.39 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 14 Apr 2017 17:30:39 -0700 (PDT) From: Peter Mikkelsen To: 26505@debbugs.gnu.org, guix-patches@gnu.org Subject: [PATCH 1/2] gnu: idris: Update to 1.0. Date: Sat, 15 Apr 2017 04:30:38 +0200 Message-Id: <20170415023038.9659-1-petermikkelsen10@gmail.com> X-Mailer: git-send-email 2.12.2 X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. 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 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 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 ------------=_1492217402-27258-1--