From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id gCBMCbipsWLjPQEAbAwnHQ (envelope-from ) for ; Tue, 21 Jun 2022 13:21:28 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id KHIlCbipsWKVUgAAauVa8A (envelope-from ) for ; Tue, 21 Jun 2022 13:21:28 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id C37DF25BBD for ; Tue, 21 Jun 2022 13:21:27 +0200 (CEST) Received: from localhost ([::1]:37928 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1o3bwk-0008Ps-Hb for larch@yhetil.org; Tue, 21 Jun 2022 07:21:26 -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 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-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+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1655810487; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:list-id:list-help:list-unsubscribe:list-subscribe: list-post:dkim-signature; bh=xX2HguUGLzjU0P8tOtJNTPlAGW44LOeeF7rtUJiJT0I=; b=PyUDuFFypnD6nhwC9GM8tZpo6UJhxXeaBb6odlmwqcQQcO7rJUSbVdkvD7Bjer4wHmGMoL iK4x2C8HXAo3YfVDt1pxac0FSLD/qN4kpWtUxGdP8jDN/fTT5OB+7KG4YtDPvbR0VwJra/ AXqBX03a5LfZaqjQYo3bUky+EwB6KbCbILOwuu4rsHacMldXIRN1qVOrs7nGe72043wK8C Anx/b4z2IWYyr9OTNHxCRyV1lUlHmH2ym1V9pJC5Rj+BhHqug3YETCg3omU3qmH9Ns1bbj 4n3tSGwrWvZ2quedGSL8Cun2IrZboLILttMtiLlZOhpKjH9Yo0aMrCmjUL7s2Q== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1655810487; a=rsa-sha256; cv=none; b=UPh/wqW/vXwS1cUk/VbbkuQCEWaBFuLF2hZnxYDP7e7gWGtOQs85SbrvEN7qPB7k+HTCvf Oi+k6Bm1hvOu3NroyJ4Y31Hx8ZKMYl4ZxFpciLwc4APquhD33hesEUualPASvzwPu9Hv0D +J8jJtIKhFujDBvEnXDINyfA0XtX89VjaBdDk7TGDGypSyO7qFxG9rPlQv/HTgis/kv6Pa GbKIUhrLfjQMX2vFSgoFWi4qGvdRII3j6r4OUICbH2u0+zsZtirHEYV4wiM047MaE/XUVp wykgly42FRFsYtZ8H7twhbkK2F6ubqlrgNRoocArUj9LirFha4+BaC4EBY6yfA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=163.com header.s=s110527 header.b=A4R+X6SA; dmarc=fail reason="SPF not aligned (relaxed)" header.from=163.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: 6.53 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=163.com header.s=s110527 header.b=A4R+X6SA; dmarc=fail reason="SPF not aligned (relaxed)" header.from=163.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: C37DF25BBD X-Spam-Score: 6.53 X-Migadu-Scanner: scn0.migadu.com X-TUID: W5HjAPLU+4Cw --=-=-= 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 --=-=-=--