From unknown Sat Sep 13 23:21:45 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#26505 <26505@debbugs.gnu.org> To: bug#26505 <26505@debbugs.gnu.org> Subject: Status: [PATCH 0/2] Update idris to 1.0 and fix default arguments Reply-To: bug#26505 <26505@debbugs.gnu.org> Date: Sun, 14 Sep 2025 06:21:45 +0000 retitle 26505 [PATCH 0/2] Update idris to 1.0 and fix default arguments reassign 26505 guix-patches submitter 26505 Peter Mikkelsen severity 26505 normal tag 26505 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Fri Apr 14 20:28:24 2017 Received: (at submit) by debbugs.gnu.org; 15 Apr 2017 00:28:24 +0000 Received: from localhost ([127.0.0.1]:47594 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1czBZg-0006YX-FC for submit@debbugs.gnu.org; Fri, 14 Apr 2017 20:28:24 -0400 Received: from eggs.gnu.org ([208.118.235.92]:53250) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1czBZe-0006YJ-2g for submit@debbugs.gnu.org; Fri, 14 Apr 2017 20:28:22 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1czBZX-0007jI-VB for submit@debbugs.gnu.org; Fri, 14 Apr 2017 20:28:16 -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.2 required=5.0 tests=BAYES_05, 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]:52771) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1czBZX-0007j9-SX for submit@debbugs.gnu.org; Fri, 14 Apr 2017 20:28:15 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:44212) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1czBZW-0003i2-TX for guix-patches@gnu.org; Fri, 14 Apr 2017 20:28:15 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1czBZT-0007hg-RD for guix-patches@gnu.org; Fri, 14 Apr 2017 20:28:14 -0400 Received: from mail-lf0-x229.google.com ([2a00:1450:4010:c07::229]:36640) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1czBZT-0007hO-I6 for guix-patches@gnu.org; Fri, 14 Apr 2017 20:28:11 -0400 Received: by mail-lf0-x229.google.com with SMTP id s141so47015103lfe.3 for ; Fri, 14 Apr 2017 17:28:11 -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=dxvTEScL1DEFKvBNBDao7F4yykOIfZf413zxHKqMB30=; b=a6YbFTQBIjjPOktJRDXCAJKsMHnzHijnxAC0xU44o0ffa5bUy6oQwh0me53UE3vH8R 3+N6tyOFVZk2ms3GnplI2Ol02I8o7QkJH5xzGhq8gcXSfX8kBicuR59x9wnFwhA0a4yU tlswUq9TSNSYgU0DSqPYATQg3Ooq35JCz32u42PB+VPY5cCKb25uhKY8zvjN8g5jvn+U 1lKS+23GJr7LYIqhQDXRCcinsWu/LbIy7ItDh91Z9Gb8X8GLwbFDc+USAfwX/atKAq4N v0PMQnut9Ca3E8O/UmJ0JltLta6WCwg1m5QDZmus0d8Y+iLvC+Wjb9BW6Wcvdy8MADeW 20dw== 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=dxvTEScL1DEFKvBNBDao7F4yykOIfZf413zxHKqMB30=; b=n01kyENZs0hXlkdN56T3LfbG/VENJo+++aVu9zKBdHTaIipF8ZunOkooAPoxw4O7f6 t/YBlVV/VHiiSTpGb9NvWuACSDrh3HiLxE1mmVavOOcxKCkqpkqX6GAnzvfz2nUK/iQ2 dz4E6IvtTeXSk7AC5rCVJuYZZCvigbkKR4QdNexmehtdBVcjtBuLwE8yEhzFsp60h9PU C+o0u6Fy37hWN5/Z7WXjDjttJE5f+ZI6WZgfRr8OUnaTSn/I4GDDuhJ0SYRE1RePfL5B ysPnIwV9F2ptd/+TpfoqBHw+HImtc6O7NwU5KqEAzDgSxBK4Nw5XONRLs2bIwHRo8Eh+ t5MQ== X-Gm-Message-State: AN3rC/7SD4/sGLIerjTYcnkFq/LEcQdSuCu/rmVVZti/bFPeasW57nkk IM5izPRqoUr2mQ== X-Received: by 10.25.115.4 with SMTP id o4mr70159lfc.162.1492216090136; Fri, 14 Apr 2017 17:28:10 -0700 (PDT) Received: from localhost.localdomain (0x4dd5279e.adsl.cybercity.dk. [77.213.39.158]) by smtp.gmail.com with ESMTPSA id 25sm657685lfu.52.2017.04.14.17.28.09 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 14 Apr 2017 17:28:09 -0700 (PDT) From: Peter Mikkelsen To: guix-patches@gnu.org Subject: [PATCH 0/2] Update idris to 1.0 and fix default arguments Date: Sat, 15 Apr 2017 04:27:43 +0200 Message-Id: <20170415022743.9512-1-petermikkelsen10@gmail.com> X-Mailer: git-send-email 2.12.2 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 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 (---) The following two patches updates idris to 1.0, and fixes the default arguments used for building idris packages. Peter Mikkelsen (2): gnu: idris: Update to 1.0. gnu: idris: Fix idris-default-arguments. gnu/packages/idris.scm | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) -- 2.12.2 From debbugs-submit-bounces@debbugs.gnu.org Fri Apr 14 20:30:48 2017 Received: (at 26505) by debbugs.gnu.org; 15 Apr 2017 00:30:48 +0000 Received: from localhost ([127.0.0.1]:47599 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1czBc0-0006dK-FS for submit@debbugs.gnu.org; Fri, 14 Apr 2017 20:30:48 -0400 Received: from mail-lf0-f66.google.com ([209.85.215.66]:33647) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1czBby-0006d6-It for 26505@debbugs.gnu.org; Fri, 14 Apr 2017 20:30:46 -0400 Received: by mail-lf0-f66.google.com with SMTP id 88so290272lfr.0 for <26505@debbugs.gnu.org>; Fri, 14 Apr 2017 17:30:46 -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=DoeHlYGEgnMZ7idhMVD9HLpHF4SpceoiOaUDiRy1fE31pyPkuVThzTFF6kZ89tKtxl FWVJfE6X9i1qXMLWR1BnhHzR41EoHPm/qkrRVfyQJv60RG1xp6icWiGrLFu/wCuNp5UE X/Ev5dl/K2F3cmQ1r8arSMUMzIuVT/Qad+dWo0CjkKbZ2iAajnuutGeUColJPUrC1/UA H9r2XO++DfqNAM+EzOgPNcWZgOkWjldX1kIsgqPHSAIaYFJLdPvl/xc+rygqjP3hzaUM H2pe4k9uLJhY3lGvB1KRHiwDJSVzhGGYQ5WgB3AYEvFRfY0beMFOEATAzu4kwiWnrC8W hf8g== X-Gm-Message-State: AN3rC/4tw7Nl5ggKCSWM9RmWwziL74M030V8c1nmHtGVuSxH0gfRU0Cz bmpkibSzHLO7sQ== 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-Spam-Score: 0.7 (/) X-Debbugs-Envelope-To: 26505 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: 0.7 (/) * 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:31:28 2017 Received: (at 26505) by debbugs.gnu.org; 15 Apr 2017 00:31:28 +0000 Received: from localhost ([127.0.0.1]:47608 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1czBce-0006fB-04 for submit@debbugs.gnu.org; Fri, 14 Apr 2017 20:31:28 -0400 Received: from mail-lf0-f65.google.com ([209.85.215.65]:35141) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1czBcc-0006ez-Me for 26505@debbugs.gnu.org; Fri, 14 Apr 2017 20:31:27 -0400 Received: by mail-lf0-f65.google.com with SMTP id i3so11270892lfh.2 for <26505@debbugs.gnu.org>; Fri, 14 Apr 2017 17:31:26 -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=rA3DmS8AZyV0H91ToqbwEnyBjwkNmy1tKPsLy3zgdnc=; b=SI2ZCm500KLiQzt0UFOPVhGAKA52I0Mdf7rFwNPGr8Q7NTaAoEn0BTlnnj91b4FGPb kzyIISCRfcepM7SImfmeD7NyUPMDG/Lnp3+l+aOvk3vnocR0uJ1FIotdh7z/DH7xTH7f 0v3Dvf9bEv05XXKiTkbBRiV+Op5icrmvKogQ/p1q+Sy4nZe2sbErf7IwbE7BdvA9zHlu lI2OPZNtKyluQz4EVT/M6lMv1r3Y7VcN82zD1RkWFiU9Uuc3xSKPvyYzvJkIkMFzOfJB EWyDs5pAaJBr/Z47mnLBa4cpac3E3F46+5n9VorUZDcTQfdvot4uURKMFcfUu6hTge3i sTiQ== 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=rA3DmS8AZyV0H91ToqbwEnyBjwkNmy1tKPsLy3zgdnc=; b=EixtMbPWVrHAcvLr5H56eM8bd35CZhLGJn594bgHMoTwVDZfqk8eWzqakHFOUJK1XV BJoA5rCwL55ztRtNhsvfWyFN5X0jYrMNnGjiOQbqo70DQW9wkTU3SS/4dEqOa6Z/WkOQ uK3lFl8PTV7PL+LaFETK7TmAd/9FS6d9JVhr0k4LISQsynWXLL7xWVV0nk5JWmvHat1Q oF/mFZ9uL8ZjQSmFfOMz3qjRJp4xjN4ylWQc3qaVdNfkkMyskapLMus5FRuyoXdLSVec ugwihBI+n5gSgAz8bIrCrUvKFwuf31kDvC9AGu+WnQkqsrWc0LFHduCpMpOXpmUIm9GE 2zCQ== X-Gm-Message-State: AN3rC/6948FTgKBzRy1DmBHg0P5rLxhFrYM1W5oBfl71fbD1btVX1+ZQ QtfZaP/WrIZ7pQ== X-Received: by 10.46.82.132 with SMTP id n4mr52209lje.29.1492216280982; Fri, 14 Apr 2017 17:31:20 -0700 (PDT) Received: from localhost.localdomain (0x4dd5279e.adsl.cybercity.dk. [77.213.39.158]) by smtp.gmail.com with ESMTPSA id 191sm652799lfz.44.2017.04.14.17.31.19 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 14 Apr 2017 17:31:20 -0700 (PDT) From: Peter Mikkelsen To: 26505@debbugs.gnu.org, guix-patches@gnu.org Subject: [PATCH 2/2] gnu: idris: Fix idris-default-arguments. Date: Sat, 15 Apr 2017 04:31:19 +0200 Message-Id: <20170415023119.9761-1-petermikkelsen10@gmail.com> X-Mailer: git-send-email 2.12.2 X-Spam-Score: 0.7 (/) X-Debbugs-Envelope-To: 26505 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: 0.7 (/) * gnu/packages/idris.scm (idris-default-arguments): Don't set IDRIS_LIBRARY_PATH before building and change --install to --build. --- gnu/packages/idris.scm | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm index 4e3a4fddb..de9b5dd1d 100644 --- a/gnu/packages/idris.scm +++ b/gnu/packages/idris.scm @@ -146,12 +146,14 @@ Epigram and Agda.") idris-path-files)) (install-cmd (cons* idris-bin "--ibcsubdir" ibcsubdir - "--install" ipkg + "--build" ipkg + ;; only trigger a build, as --ibcsubdir + ;; already installs .ibc files. + (apply append (map (lambda (path) (list "--idrispath" path)) idris-path-subdirs))))) - (setenv "IDRIS_LIBRARY_PATH" idris-libs) ;; FIXME: Seems to be a bug in idris that causes a dubious failure. (apply system* install-cmd) #t)))))) -- 2.12.2 From debbugs-submit-bounces@debbugs.gnu.org Sat Apr 15 13:46:34 2017 Received: (at 26505-done) by debbugs.gnu.org; 15 Apr 2017 17:46:34 +0000 Received: from localhost ([127.0.0.1]:49304 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1czRmM-00019N-LX for submit@debbugs.gnu.org; Sat, 15 Apr 2017 13:46:34 -0400 Received: from out1-smtp.messagingengine.com ([66.111.4.25]:52897) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1czRmK-00017y-T6 for 26505-done@debbugs.gnu.org; Sat, 15 Apr 2017 13:46:33 -0400 Received: from compute5.internal (compute5.nyi.internal [10.202.2.45]) by mailout.nyi.internal (Postfix) with ESMTP id B3BCC20A1F; Sat, 15 Apr 2017 13:46:32 -0400 (EDT) Received: from frontend2 ([10.202.2.161]) by compute5.internal (MEProxy); Sat, 15 Apr 2017 13:46:32 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fastmail.com; h= content-type:date:from:in-reply-to:message-id:mime-version :references:subject:to:x-me-sender:x-me-sender:x-sasl-enc :x-sasl-enc; s=fm1; bh=OyW2SS93CLV+UrhiCTrJ74P6i3ue12scl//nLPFJm /E=; b=Uh+X9O+gqo3YEdI0LY2NapzDsW6AVz4wOEGV3lGE0MUPwlW3xeb43WMpW f7DKcUvI0R7Ty5GjUzRUpqyymwuac2LNSA6o9owgmqucSQZVobQQdoaxYxOus+Da fYp4ErRaXHgeDqgsV1wDSS+p0t3wlASmYsKE8i/xY8VwzPmjaTwB8T7ynm9+flno ceWkoIOJHs7fImmvlNIh8LDSfDbpTlot84+WRLRtJJwd49wQcn/eZGPpdKnhZ/7m +TbIgMa2pRL3ahOlu5l2MYLps3ixf9y8cJvIvY1s8GCV3d8C8o4gxnABRlUmWZ2c aHJUSSOlTWps0RUDAtATrSw+xVI5A== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-sender :x-me-sender:x-sasl-enc:x-sasl-enc; s=fm1; bh=OyW2SS93CLV+UrhiCT rJ74P6i3ue12scl//nLPFJm/E=; b=Ze6+SjPssea+DHc6k0Ak4KpEq/4qRYOvCV G8W6/P8S7+UeDE6jA81mEEyXTTGqapYWkC9N5UgbIA6NdfNEil5h8EEpFO0n/XEz 3nZLNTeSjXYtIpMMA4whpgocCbwQ0atGm0QZBQh5mOdRG6svJulwVVhLzoMKRRMr vzrDW8N9QcO6sR3oMmHSfG8Vytoy6wZP/bHQBZ3MVe+UmN3rBRsFwksRGh12cvQA yOXin3RuOKpYYCs86R5ktNGjibLmQs/wxyu68JRflY9Rief4dczj5ILFMjr31bIJ ATtWcIykvz9FhBWflSbg8LqXnC7yA8MwAEmyT+/SPjmmSdrHh+ZQ== X-ME-Sender: X-Sasl-enc: Kn/SPtYCJvNwVBKZ0dvuqrR/NrmCz4trITE3gLvISJyy 1492278392 Received: from localhost (unknown [188.113.81.93]) by mail.messagingengine.com (Postfix) with ESMTPA id 46591246FC; Sat, 15 Apr 2017 13:46:32 -0400 (EDT) From: Marius Bakke To: Peter Mikkelsen , 26505-done@debbugs.gnu.org Subject: Re: bug#26505: [PATCH 0/2] Update idris to 1.0 and fix default arguments In-Reply-To: <20170415022743.9512-1-petermikkelsen10@gmail.com> References: <20170415022743.9512-1-petermikkelsen10@gmail.com> User-Agent: Notmuch/0.24.1 (https://notmuchmail.org) Emacs/25.1.1 (x86_64-unknown-linux-gnu) Date: Sat, 15 Apr 2017 19:46:30 +0200 Message-ID: <87d1cdmumh.fsf@fastmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 26505-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 (/) --=-=-= Content-Type: text/plain Peter Mikkelsen writes: > The following two patches updates idris to 1.0, and fixes the default > arguments used for building idris packages. Pushed, thanks! --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEu7At3yzq9qgNHeZDoqBt8qM6VPoFAljyXHYACgkQoqBt8qM6 VPq5bwf/YltcALqEKpmt/lRwmQxcUy14FpzrpnYIcFQw25Qfki9I4b7SsSy1v7I4 GED1hckD/q95aG8XMVv9UYcOgOPaN7sC6s+THqtnBgT2SIL45luo6yuI3qgDsRpO U+pk/ZY0Vy2NV46ClUMvVJJTyVzZe9KRsvDFffa0JXOowDAK4Q8rFfogr19DcAv5 qM3cxJQoHC03aT1wFng2XpfDTe3v+UCT7PCwzw7xhhiAYco6Y7OBYWWjInrIVcEn Eid25JHkeJEvWR2NjzELVGh5RZ1X+fxqPlqWWgfcsctZGP4J/vi29j/EKO/2lZWK aNbJ4rzna3PB8XRrTXbi6/Zw6mitOg== =GFH5 -----END PGP SIGNATURE----- --=-=-=-- From unknown Sat Sep 13 23:21:45 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sun, 14 May 2017 11:24:04 +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