From unknown Sat Sep 13 23:21:38 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#26506 <26506@debbugs.gnu.org> To: bug#26506 <26506@debbugs.gnu.org> Subject: Status: [PATCH 1/2] gnu: idris: Update to 1.0. Reply-To: bug#26506 <26506@debbugs.gnu.org> Date: Sun, 14 Sep 2025 06:21:38 +0000 retitle 26506 [PATCH 1/2] gnu: idris: Update to 1.0. reassign 26506 guix-patches submitter 26506 Peter Mikkelsen severity 26506 normal tag 26506 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Fri Apr 14 20:30:55 2017 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 From debbugs-submit-bounces@debbugs.gnu.org Fri Apr 14 20:49:43 2017 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-- From unknown Sat Sep 13 23:21:38 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sat, 13 May 2017 11:24:03 +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