From debbugs-submit-bounces@debbugs.gnu.org Tue Jun 21 07:18:09 2022 Received: (at submit) by debbugs.gnu.org; 21 Jun 2022 11:18:09 +0000 Received: from localhost ([127.0.0.1]:59244 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o3btZ-0005QM-Hd for submit@debbugs.gnu.org; Tue, 21 Jun 2022 07:18:09 -0400 Received: from lists.gnu.org ([209.51.188.17]:42002) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o3btX-0005QG-9A for submit@debbugs.gnu.org; Tue, 21 Jun 2022 07:18:08 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:34096) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o3btW-0005vL-UW for guix-patches@gnu.org; Tue, 21 Jun 2022 07:18:07 -0400 Received: from mail-m971.mail.163.com ([123.126.97.1]:52371) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1o3btQ-00066y-CE for guix-patches@gnu.org; Tue, 21 Jun 2022 07:18:04 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=163.com; s=s110527; h=From:Subject:Date:Message-ID:MIME-Version; bh=xX2Hg uUGLzjU0P8tOtJNTPlAGW44LOeeF7rtUJiJT0I=; b=A4R+X6SAfC6wRysgchElt 4reaJYMS8f9EGLi5qdZX7XKuH5SlFFOyLJMWcQH3j5H1G6lwII9Y50mgyJ6mnZ8l SfPY6AT/Gu2RkuYQMd6CvgvlBbYxnm/nmu9gB1W3rTPy5+uGDm3GA53pTlhbZYT6 XEA2sU1JWW1b62KCHM16Pw= Received: from asus-laptop (unknown [27.38.202.29]) by smtp1 (Coremail) with SMTP id GdxpCgBXXaXfqLFiW5xYKQ--.5726S2; Tue, 21 Jun 2022 19:17:51 +0800 (CST) User-agent: mu4e 1.6.11; emacs 28.1 From: Zhu Zihao To: guix-patches@gnu.org Subject: [PATCH]: gnu: emacs-idris-mode: Update to 1.0-1-9bc7697. Date: Tue, 21 Jun 2022 19:17:11 +0800 Message-ID: <86k09ap8o5.fsf@163.com> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" X-CM-TRANSID: GdxpCgBXXaXfqLFiW5xYKQ--.5726S2 X-Coremail-Antispam: 1Uf129KBjDUn29KB7ZKAUJUUUUU529EdanIXcx71UUUUU7v73 VFW2AGmfu7bjvjm3AaLaJ3UbIYCTnIWIevJa73UjIFyTuYvjxU0FAJUUUUU X-Originating-IP: [27.38.202.29] X-CM-SenderInfo: pdoosuxxwbztlvw6il2tof0z/xtbBZgAnr1aEArJblAAAsD Received-SPF: pass client-ip=123.126.97.1; envelope-from=all_but_last@163.com; helo=mail-m971.mail.163.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 0.2 (/) X-Debbugs-Envelope-To: submit 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: -2.4 (--) --=-=-= Content-Type: multipart/signed; boundary="==-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" --==-=-= Content-Type: text/plain --==-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iIsEARYIADMWIQRefA5qkqvnKdl/GTlmOX+E92aT+QUCYrGo2hUcYWxsX2J1dF9s YXN0QDE2My5jb20ACgkQZjl/hPdmk/kw+QD/SAa0L2+6OsOIaaZAZ9XdfiVz8Q9s b9dETiGPJzNPD3wA/3CSjiKen/TqknvLDxtkBl8iqL+5HRyA9njQnmg64V8N =Ouyi -----END PGP SIGNATURE----- --==-=-=-- --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename=0001-gnu-emacs-idris-mode-Update-to-1.0-1-9bc7697.patch >From e73064e70d5468b6209033d992b40017d9ba0aa3 Mon Sep 17 00:00:00 2001 From: Zhu Zihao Date: Tue, 21 Jun 2022 19:12:23 +0800 Subject: [PATCH] gnu: emacs-idris-mode: Update to 1.0-1-9bc7697. * gnu/packages/emacs-xyz.scm (emacs-idris-mode): Update to 1.0-1-9bc7697. --- gnu/packages/emacs-xyz.scm | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm index b8c2729633..4296cfc0ae 100644 --- a/gnu/packages/emacs-xyz.scm +++ b/gnu/packages/emacs-xyz.scm @@ -16388,8 +16388,8 @@ (define-public emacs-prop-menu (license license:gpl3+))) (define-public emacs-idris-mode - (let ((commit "b77eadd8ac2048d5c882b4464bd9673e45dd6a59") - (revision "0")) + (let ((commit "9bc7697406f719258d93835df3c1761efbfecaa7") + (revision "1")) (package (name "emacs-idris-mode") (version (git-version "1.0" revision commit)) @@ -16402,7 +16402,7 @@ (define-public emacs-idris-mode (file-name (git-file-name name commit)) (sha256 (base32 - "1v8av6jza1j00ln75zjwaca0vmmv0fhhhi94p84rlfzgzykyb9g1")))) + "1d1f7kx0fw632js7qd1sra5wbpwyamcqs5wpzhyynmr5ybb0vyl7")))) (build-system emacs-build-system) (propagated-inputs (list emacs-prop-menu)) -- 2.36.1 --=-=-= Content-Type: text/plain -- Retrieve my PGP public key: gpg --recv-keys D47A9C8B2AE3905B563D9135BE42B352A9F6821F Zihao --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Wed Jun 22 02:15:10 2022 Received: (at 56121-done) by debbugs.gnu.org; 22 Jun 2022 06:15:10 +0000 Received: from localhost ([127.0.0.1]:33757 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o3tdu-0005dr-Kh for submit@debbugs.gnu.org; Wed, 22 Jun 2022 02:15:10 -0400 Received: from relay1-d.mail.gandi.net ([217.70.183.193]:60449) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o3tds-0005dY-Lp for 56121-done@debbugs.gnu.org; Wed, 22 Jun 2022 02:15:09 -0400 Received: (Authenticated sender: admin@nicolasgoaziou.fr) by mail.gandi.net (Postfix) with ESMTPSA id 8BA13240008; Wed, 22 Jun 2022 06:15:01 +0000 (UTC) From: Nicolas Goaziou To: Zhu Zihao Subject: Re: [bug#56121] [PATCH]: gnu: emacs-idris-mode: Update to 1.0-1-9bc7697. References: <86k09ap8o5.fsf@163.com> Date: Wed, 22 Jun 2022 08:14:59 +0200 In-Reply-To: <86k09ap8o5.fsf@163.com> (Zhu Zihao's message of "Tue, 21 Jun 2022 19:17:11 +0800") Message-ID: <87letpmdgc.fsf@nicolasgoaziou.fr> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 56121-done Cc: 56121-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: -1.7 (-) Hello, Zhu Zihao writes: > Subject: [PATCH] gnu: emacs-idris-mode: Update to 1.0-1-9bc7697. Applied. Thank you. Regards, -- Nicolas Goaziou From unknown Mon Aug 18 04:10:29 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Wed, 20 Jul 2022 11:24:06 +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