From patchwork Tue Jun 21 11:17:11 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Zhu Zihao X-Patchwork-Id: 40208 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id C443227BBEA; Tue, 21 Jun 2022 12:21:29 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI,SPF_HELO_PASS autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 8261227BBE9 for ; Tue, 21 Jun 2022 12:21:29 +0100 (BST) Received: from localhost ([::1]:37928 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1o3bwm-0008Ps-LH for patchwork@mira.cbaines.net; Tue, 21 Jun 2022 07:21:28 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:34264) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o3buR-0006G7-4y for guix-patches@gnu.org; Tue, 21 Jun 2022 07:19:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:37114) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1o3buP-0006BY-Vy for guix-patches@gnu.org; Tue, 21 Jun 2022 07:19:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1o3buP-0005Rc-Rh for guix-patches@gnu.org; Tue, 21 Jun 2022 07:19:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#56121] [PATCH]: gnu: emacs-idris-mode: Update to 1.0-1-9bc7697. Resent-From: Zhu Zihao Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 21 Jun 2022 11:19:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 56121 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 56121@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.165581028920858 (code B ref -1); Tue, 21 Jun 2022 11:19:01 +0000 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 Date: Tue, 21 Jun 2022 19:17:11 +0800 Message-ID: <86k09ap8o5.fsf@163.com> MIME-Version: 1.0 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-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches 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