From unknown Fri Jun 20 20:13:05 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#36018] [PATCH] gnu: emacs-idris-mode: Use recent git checkout. Resent-From: ericbavier@centurylink.net Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 31 May 2019 03:17:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 36018 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 36018@debbugs.gnu.org Cc: Eric Bavier X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.155927256932579 (code B ref -1); Fri, 31 May 2019 03:17:01 +0000 Received: (at submit) by debbugs.gnu.org; 31 May 2019 03:16:09 +0000 Received: from localhost ([127.0.0.1]:34509 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hWY1Y-0008TO-KH for submit@debbugs.gnu.org; Thu, 30 May 2019 23:16:08 -0400 Received: from eggs.gnu.org ([209.51.188.92]:44802) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hWY1V-0008Sa-M4 for submit@debbugs.gnu.org; Thu, 30 May 2019 23:16:07 -0400 Received: from lists.gnu.org ([209.51.188.17]:43134) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hWY1Q-0005tb-JJ for submit@debbugs.gnu.org; Thu, 30 May 2019 23:16:00 -0400 Received: from eggs.gnu.org ([209.51.188.92]:59183) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hWY1P-0007Ss-9m for guix-patches@gnu.org; Thu, 30 May 2019 23:16:00 -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.8 required=5.0 tests=BAYES_50,FREEMAIL_FROM, URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hWY1O-0005mK-57 for guix-patches@gnu.org; Thu, 30 May 2019 23:15:59 -0400 Received: from mail.onyx.syn-alias.com ([206.152.134.66]:33475 helo=smtp.centurylink.net) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hWY1N-0005e7-Ty for guix-patches@gnu.org; Thu, 30 May 2019 23:15:58 -0400 DKIM-Signature: v=1; a=rsa-sha1; d=centurylink.net; s=ctl201402; c=relaxed/simple; q=dns/txt; i=@centurylink.net; t=1559272555; h=From:Subject:Date:To:MIME-Version; bh=4vS800C8r6mQ9l6vNSWuffdiaeg=; b=rlfvz6lmKDqAc/T+1xObOXQNafVWUfGqDfTI4whYH5hgLkoK0ukB9HwIStcmUIoT J0F6e8bMmSSUd337WegclqbD+60tXNeylIFA0r/u/aRjPkGdt4kLmlLxd0VIW16S l5C+c0fklPeVcIjX9Fq6P/KS8mSr6Q27NLbdgxHzPVkfAIT551mW6KQLfStBtuBT UeMoFucOn2fUdrJoaYS2PEZQf/7G7MYubCKIKfDQDKt1f4WSxhTUWnG5APsiT7Cn lKnCYPU8Qf52ejqvYVRgSPJ3zTsFTczGZStoaw8wcwCWnubZuIPR59l9VCRiMZiB i4nKRp+Dw4f0Zxb1z18qAA==; X_CMAE_Category: , , X-CNFS-Analysis: v=2.3 cv=ONhZIhSB c=1 sm=1 tr=0 a=S3wHX3KET2xGK6fnWLOrkQ==:117 a=S3wHX3KET2xGK6fnWLOrkQ==:17 a=KGjhK52YXX0A:10 a=E5NmQfObTbMA:10 a=zSv6zi-ZgakA:10 a=inoG4m36AAAA:8 a=_XKrVaNjAAAA:8 a=d87ALkuxAAAA:20 a=rKhox_5Y2UYUquB-6AAA:9 a=_Qgj-RFg6mImvLaOgLPg:22 a=028X40DmOm8bOgFXOd3P:22 X-CM-Score: 0 X-Scanned-by: Cloudmark Authority Engine X-Authed-Username: ZXJpY2JhdmllckBjZW50dXJ5bGluay5uZXQ= Authentication-Results: smtp04.onyx.dfw.sync.lan smtp.user=ericbavier@centurylink.net; auth=pass (LOGIN) Received: from [97.116.107.43] ([97.116.107.43:58268] helo=localhost.localdomain) by smtp.centurylink.net (envelope-from ) (ecelerity 3.6.25.56547 r(Core:3.6.25.0)) with ESMTPSA (cipher=DHE-RSA-AES128-GCM-SHA256) id 5E/CC-22466-A6C90FC5; Thu, 30 May 2019 23:15:55 -0400 From: ericbavier@centurylink.net Date: Thu, 30 May 2019 22:15:52 -0500 Message-Id: <20190531031552.16379-1-ericbavier@centurylink.net> X-Mailer: git-send-email 2.21.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 206.152.134.66 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Spam-Score: -1.3 (-) 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.3 (--) From: Eric Bavier * gnu/packages/emacs-xyz.scm (emacs-idris-mode)[source]: Use git-fetch. [version]: Include revision and commit. --- This fixes, amongst other things, syntax highlighting when used with the latest version of idris. gnu/packages/emacs-xyz.scm | 45 ++++++++++++++++++++------------------ 1 file changed, 24 insertions(+), 21 deletions(-) diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm index 6f74a2fc45..1d5222367a 100644 --- a/gnu/packages/emacs-xyz.scm +++ b/gnu/packages/emacs-xyz.scm @@ -8359,29 +8359,32 @@ key. Optionally, a mouse pop-up can be added by binding (license license:gpl3+))) (define-public emacs-idris-mode - (package - (name "emacs-idris-mode") - (version "0.9.19") - (source - (origin - (method url-fetch) - (uri (string-append - "http://stable.melpa.org/packages/idris-mode-" - version ".tar")) - (sha256 - (base32 - "16hl2s22l3wc9drnwzw6hn7xrm49ml9lii0s6k218dgahdgsncmf")))) - (build-system emacs-build-system) - (propagated-inputs - `(("emacs-prop-menu" ,emacs-prop-menu))) - (home-page - "https://github.com/idris-hackers/idris-mode") - (synopsis "Major mode for editing Idris code") - (description - "This is an Emacs mode for editing Idris code. It requires the latest + (let ((commit "acc8835449475d7cd205aba213fdd3d41c38ba40") + (revision "0")) + (package + (name "emacs-idris-mode") + (version (git-version "0.9.19" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/idris-hackers/idris-mode.git") + (commit commit))) + (file-name (git-file-name name commit)) + (sha256 + (base32 + "0n9xbknc68id0mf8hbfmawi8qpvrs47ix807sk9ffv2g3ik32kk6")))) + (build-system emacs-build-system) + (propagated-inputs + `(("emacs-prop-menu" ,emacs-prop-menu))) + (home-page + "https://github.com/idris-hackers/idris-mode") + (synopsis "Major mode for editing Idris code") + (description + "This is an Emacs mode for editing Idris code. It requires the latest version of Idris, and some features may rely on the latest Git version of Idris.") - (license license:gpl3+))) + (license license:gpl3+)))) (define-public emacs-browse-at-remote (package -- 2.21.0 From unknown Fri Jun 20 20:13:05 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#36018] [PATCH] gnu: emacs-idris-mode: Use recent git checkout. Resent-From: Ricardo Wurmus Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 31 May 2019 12:03:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 36018 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Eric Bavier Cc: 36018@debbugs.gnu.org Received: via spool by 36018-submit@debbugs.gnu.org id=B36018.1559304122717 (code B ref 36018); Fri, 31 May 2019 12:03:02 +0000 Received: (at 36018) by debbugs.gnu.org; 31 May 2019 12:02:02 +0000 Received: from localhost ([127.0.0.1]:34978 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hWgET-0000BP-PR for submit@debbugs.gnu.org; Fri, 31 May 2019 08:02:02 -0400 Received: from sender4-of-o53.zoho.com ([136.143.188.53]:21325) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hWgEP-0000Aw-3b for 36018@debbugs.gnu.org; Fri, 31 May 2019 08:01:59 -0400 ARC-Seal: i=1; a=rsa-sha256; t=1559290474; cv=none; d=zoho.com; s=zohoarc; b=gtptFgadUMVrqiZjweIhaAJCz9cEwX8iUYApbf1OFTZdn+s/YLGaIeYWggtN3q2BRVlTxzIFn73TE1yYfVK+Z8CpbhHs2QdEVo4dfiG1yoaScBXOycHo2Ou5fHtq9oIknaPvr3sLknxsn4XrlU+OBnRSQmvxEjtGmkQczyV6++k= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zoho.com; s=zohoarc; t=1559290474; h=Content-Type:Cc:Date:From:In-Reply-To:MIME-Version:Message-ID:References:Subject:To:ARC-Authentication-Results; bh=zM+/iDP/wcr64qUsuUvK4zMq13RACTSl3b9B43GMV8U=; b=fvZjzcI6uf/B8fCsAS/3QdPCpsRtW1NF+ThO4aslrQpg3KENMs7ZfALqf+DIQw8n0MRziAV1qzhZHz/3OwDmjVC4JWARIdxGeR1blaQrSqjGblbVugesjhLsmnBUjsfe/V8ncKxTNiKNMrDGIyWoooBf76b9HYl2YSbhnZiz3vc= ARC-Authentication-Results: i=1; mx.zoho.com; dkim=pass header.i=elephly.net; spf=pass smtp.mailfrom=rekado@elephly.net; dmarc=pass header.from= header.from= DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1559290474; s=zoho; d=elephly.net; i=rekado@elephly.net; h=References:From:To:Cc:Subject:In-reply-to:Date:Message-ID:MIME-Version:Content-Type; l=204; bh=zM+/iDP/wcr64qUsuUvK4zMq13RACTSl3b9B43GMV8U=; b=S0LK5fAVcAaW8vam+CF2nIwHVY7oaY+34XFtG2g7EY9piE+mCR8QMMBTcDz6VWpL g4Bup5iAE8i/ILq1iuxsWF5usiJPDaL9JSJ7B+fLkdcJK3p+71zA+q3Dmh1sBVV2X5c +iZxC4GfCK+Jew4xC0Q40PInEOLVpuZ+Ob6TRfNo= Received: from localhost (p54AD4C51.dip0.t-ipconnect.de [84.173.76.81]) by mx.zohomail.com with SMTPS id 15592904734511002.8592272575486; Fri, 31 May 2019 01:14:33 -0700 (PDT) References: <20190531031552.16379-1-ericbavier@centurylink.net> User-agent: mu4e 1.2.0; emacs 26.2 From: Ricardo Wurmus In-reply-to: <20190531031552.16379-1-ericbavier@centurylink.net> X-URL: https://elephly.net X-PGP-Key: https://elephly.net/rekado.pubkey X-PGP-Fingerprint: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC Date: Fri, 31 May 2019 10:14:30 +0200 Message-ID: <87o93jjb15.fsf@elephly.net> MIME-Version: 1.0 Content-Type: text/plain X-ZohoMailClient: External X-Spam-Score: 0.0 (/) 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.0 (-) Hi Eric, > From: Eric Bavier > > * gnu/packages/emacs-xyz.scm (emacs-idris-mode)[source]: Use git-fetch. > [version]: Include revision and commit. LGTM! -- Ricardo From unknown Fri Jun 20 20:13:05 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: ericbavier@centurylink.net Subject: bug#36018: closed () Message-ID: References: <329406780.62520970.1560140427339.JavaMail.zimbra@centurylink.net> <20190531031552.16379-1-ericbavier@centurylink.net> X-Gnu-PR-Message: they-closed 36018 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 36018@debbugs.gnu.org Date: Mon, 10 Jun 2019 04:21:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1560140462-29467-1" This is a multi-part message in MIME format... ------------=_1560140462-29467-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #36018: [PATCH] gnu: emacs-idris-mode: Use recent git checkout. which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 36018@debbugs.gnu.org. --=20 36018: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D36018 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1560140462-29467-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 36018-done) by debbugs.gnu.org; 10 Jun 2019 04:20:36 +0000 Received: from localhost ([127.0.0.1]:55808 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1haBnP-0007eO-RR for submit@debbugs.gnu.org; Mon, 10 Jun 2019 00:20:36 -0400 Received: from mail.onyx.syn-alias.com ([206.152.134.66]:57519 helo=smtp.centurylink.net) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1haBnN-0007eA-5Z for 36018-done@debbugs.gnu.org; Mon, 10 Jun 2019 00:20:34 -0400 DKIM-Signature: v=1; a=rsa-sha1; d=centurylink.net; s=ctl201402; c=relaxed/simple; q=dns/txt; i=@centurylink.net; t=1560140427; h=From:Subject:Date:To:MIME-Version:Content-Type; bh=pyXvcldhsvIWTwaS0LS5m6opwxA=; b=Bop/4A6csMqbrwy+u1zCaK2JtxrhMZoSo6pPTdgt3xsn6Zdepb11rA+35YwSv5x7 aQG+/CsqKKIgsnxYhRFaqVyW/PSitkzIkxa9FSwT4xb4fZmRdOVIU9Y26FmvzFfU vyn7A48H+x2Siws4Pzmj4yimX/cGro63lz70rYtLusZTgcnW1t/sAgOBbr3nyYUI p6X+z0u/B64hukn+IH0eP38dsVk9POkhxV9kGsSaxhrDVxVl/3ceikx8oq5K3QWk RDPDNLx3MrqL0QPl0WmeGKYt+OTo/io6ltRgqOXCTDZY1xCCQc+7wyKysLEtH4gz iLrboxOYVbJMjaXWmi7fMw==; X_CMAE_Category: , , X-CNFS-Analysis: v=2.3 cv=Ier5plia c=1 sm=1 tr=0 a=VGt/YaRBjsmaQOg7OhfEhA==:117 a=KGjhK52YXX0A:10 a=FKkrIqjQGGEA:10 a=-71Q6_cpt6AA:10 a=IkcTkHD0fZMA:10 a=dq6fvYVFJ5YA:10 a=zSv6zi-ZgakA:10 a=W7HvRly7wZ8A:10 a=eQrCS-SpgXYA:10 a=k20gFOFHxApAD-LlIqcA:9 a=QEXdDO2ut3YA:10 X-CM-Score: 0 X-Scanned-by: Cloudmark Authority Engine Feedback-ID: dfw:ctl:res:onyx X-Authed-Username: ZXJpY2JhdmllckBjZW50dXJ5bGluay5uZXQ= Received: from [10.41.66.0] ([10.41.66.0:44122] helo=md02.onyx.dfw.sync.lan) by smtp.centurylink.net (envelope-from ) (ecelerity 3.6.25.56547 r(Core:3.6.25.0)) with ESMTP id A9/8E-29900-B8ADDFC5; Mon, 10 Jun 2019 00:20:27 -0400 Date: Mon, 10 Jun 2019 00:20:27 -0400 (EDT) From: Eric Bavier To: 36018-done@debbugs.gnu.org Message-ID: <329406780.62520970.1560140427339.JavaMail.zimbra@centurylink.net> Subject: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit X-Originating-IP: [97.116.107.43] X-Mailer: Zimbra 8.7.6_GA_1776 (ZimbraWebClient - [unknown] (Linux)/8.7.6_GA_1776) Thread-Index: ip2cTJbtz+2qOybpnERA0OSNfRMz1w== Thread-Topic: X-Spam-Score: 2.0 (++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: Pushed in commit ac302576006c95ab9adfe7a1f9bf11f7f3846e45 Thanks, -- `~Eric Content analysis details: (2.0 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_PASS SPF: sender matches SPF record 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (ericbavier[at]centurylink.net) 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 2.0 BLANK_SUBJECT Subject is present but empty X-Debbugs-Envelope-To: 36018-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: 1.0 (+) Pushed in commit ac302576006c95ab9adfe7a1f9bf11f7f3846e45 Thanks, -- `~Eric ------------=_1560140462-29467-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 31 May 2019 03:16:09 +0000 Received: from localhost ([127.0.0.1]:34509 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hWY1Y-0008TO-KH for submit@debbugs.gnu.org; Thu, 30 May 2019 23:16:08 -0400 Received: from eggs.gnu.org ([209.51.188.92]:44802) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hWY1V-0008Sa-M4 for submit@debbugs.gnu.org; Thu, 30 May 2019 23:16:07 -0400 Received: from lists.gnu.org ([209.51.188.17]:43134) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hWY1Q-0005tb-JJ for submit@debbugs.gnu.org; Thu, 30 May 2019 23:16:00 -0400 Received: from eggs.gnu.org ([209.51.188.92]:59183) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hWY1P-0007Ss-9m for guix-patches@gnu.org; Thu, 30 May 2019 23:16:00 -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.8 required=5.0 tests=BAYES_50,FREEMAIL_FROM, URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hWY1O-0005mK-57 for guix-patches@gnu.org; Thu, 30 May 2019 23:15:59 -0400 Received: from mail.onyx.syn-alias.com ([206.152.134.66]:33475 helo=smtp.centurylink.net) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hWY1N-0005e7-Ty for guix-patches@gnu.org; Thu, 30 May 2019 23:15:58 -0400 DKIM-Signature: v=1; a=rsa-sha1; d=centurylink.net; s=ctl201402; c=relaxed/simple; q=dns/txt; i=@centurylink.net; t=1559272555; h=From:Subject:Date:To:MIME-Version; bh=4vS800C8r6mQ9l6vNSWuffdiaeg=; b=rlfvz6lmKDqAc/T+1xObOXQNafVWUfGqDfTI4whYH5hgLkoK0ukB9HwIStcmUIoT J0F6e8bMmSSUd337WegclqbD+60tXNeylIFA0r/u/aRjPkGdt4kLmlLxd0VIW16S l5C+c0fklPeVcIjX9Fq6P/KS8mSr6Q27NLbdgxHzPVkfAIT551mW6KQLfStBtuBT UeMoFucOn2fUdrJoaYS2PEZQf/7G7MYubCKIKfDQDKt1f4WSxhTUWnG5APsiT7Cn lKnCYPU8Qf52ejqvYVRgSPJ3zTsFTczGZStoaw8wcwCWnubZuIPR59l9VCRiMZiB i4nKRp+Dw4f0Zxb1z18qAA==; X_CMAE_Category: , , X-CNFS-Analysis: v=2.3 cv=ONhZIhSB c=1 sm=1 tr=0 a=S3wHX3KET2xGK6fnWLOrkQ==:117 a=S3wHX3KET2xGK6fnWLOrkQ==:17 a=KGjhK52YXX0A:10 a=E5NmQfObTbMA:10 a=zSv6zi-ZgakA:10 a=inoG4m36AAAA:8 a=_XKrVaNjAAAA:8 a=d87ALkuxAAAA:20 a=rKhox_5Y2UYUquB-6AAA:9 a=_Qgj-RFg6mImvLaOgLPg:22 a=028X40DmOm8bOgFXOd3P:22 X-CM-Score: 0 X-Scanned-by: Cloudmark Authority Engine X-Authed-Username: ZXJpY2JhdmllckBjZW50dXJ5bGluay5uZXQ= Authentication-Results: smtp04.onyx.dfw.sync.lan smtp.user=ericbavier@centurylink.net; auth=pass (LOGIN) Received: from [97.116.107.43] ([97.116.107.43:58268] helo=localhost.localdomain) by smtp.centurylink.net (envelope-from ) (ecelerity 3.6.25.56547 r(Core:3.6.25.0)) with ESMTPSA (cipher=DHE-RSA-AES128-GCM-SHA256) id 5E/CC-22466-A6C90FC5; Thu, 30 May 2019 23:15:55 -0400 From: ericbavier@centurylink.net To: guix-patches@gnu.org Subject: [PATCH] gnu: emacs-idris-mode: Use recent git checkout. Date: Thu, 30 May 2019 22:15:52 -0500 Message-Id: <20190531031552.16379-1-ericbavier@centurylink.net> X-Mailer: git-send-email 2.21.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 206.152.134.66 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit Cc: Eric Bavier 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.3 (--) From: Eric Bavier * gnu/packages/emacs-xyz.scm (emacs-idris-mode)[source]: Use git-fetch. [version]: Include revision and commit. --- This fixes, amongst other things, syntax highlighting when used with the latest version of idris. gnu/packages/emacs-xyz.scm | 45 ++++++++++++++++++++------------------ 1 file changed, 24 insertions(+), 21 deletions(-) diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm index 6f74a2fc45..1d5222367a 100644 --- a/gnu/packages/emacs-xyz.scm +++ b/gnu/packages/emacs-xyz.scm @@ -8359,29 +8359,32 @@ key. Optionally, a mouse pop-up can be added by binding (license license:gpl3+))) (define-public emacs-idris-mode - (package - (name "emacs-idris-mode") - (version "0.9.19") - (source - (origin - (method url-fetch) - (uri (string-append - "http://stable.melpa.org/packages/idris-mode-" - version ".tar")) - (sha256 - (base32 - "16hl2s22l3wc9drnwzw6hn7xrm49ml9lii0s6k218dgahdgsncmf")))) - (build-system emacs-build-system) - (propagated-inputs - `(("emacs-prop-menu" ,emacs-prop-menu))) - (home-page - "https://github.com/idris-hackers/idris-mode") - (synopsis "Major mode for editing Idris code") - (description - "This is an Emacs mode for editing Idris code. It requires the latest + (let ((commit "acc8835449475d7cd205aba213fdd3d41c38ba40") + (revision "0")) + (package + (name "emacs-idris-mode") + (version (git-version "0.9.19" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/idris-hackers/idris-mode.git") + (commit commit))) + (file-name (git-file-name name commit)) + (sha256 + (base32 + "0n9xbknc68id0mf8hbfmawi8qpvrs47ix807sk9ffv2g3ik32kk6")))) + (build-system emacs-build-system) + (propagated-inputs + `(("emacs-prop-menu" ,emacs-prop-menu))) + (home-page + "https://github.com/idris-hackers/idris-mode") + (synopsis "Major mode for editing Idris code") + (description + "This is an Emacs mode for editing Idris code. It requires the latest version of Idris, and some features may rely on the latest Git version of Idris.") - (license license:gpl3+))) + (license license:gpl3+)))) (define-public emacs-browse-at-remote (package -- 2.21.0 ------------=_1560140462-29467-1--