From debbugs-submit-bounces@debbugs.gnu.org Thu May 30 23:16:09 2019 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 From debbugs-submit-bounces@debbugs.gnu.org Fri May 31 08:02:02 2019 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 To: Eric Bavier Subject: Re: [bug#36018] [PATCH] gnu: emacs-idris-mode: Use recent git checkout. 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-Debbugs-Envelope-To: 36018 Cc: 36018@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.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 debbugs-submit-bounces@debbugs.gnu.org Mon Jun 10 00:20:36 2019 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 From unknown Sat Jun 21 03:18:43 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Mon, 08 Jul 2019 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