From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id iHkRJK9YVWIZggAAgWs5BA (envelope-from ) for ; Tue, 12 Apr 2022 12:47:11 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id yEuYIa9YVWIXVQAA9RJhRA (envelope-from ) for ; Tue, 12 Apr 2022 12:47:11 +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 476D43F40B for ; Tue, 12 Apr 2022 12:47:11 +0200 (CEST) Received: from localhost ([::1]:57030 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1neE3B-0007NA-VO for larch@yhetil.org; Tue, 12 Apr 2022 06:47:10 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:48980) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1neE34-0007Ln-JN for guix-patches@gnu.org; Tue, 12 Apr 2022 06:47:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:53828) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1neE34-0001eI-7o for guix-patches@gnu.org; Tue, 12 Apr 2022 06:47:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1neE34-0002c7-4Q for guix-patches@gnu.org; Tue, 12 Apr 2022 06:47:02 -0400 Subject: bug#38784: [WIP 0/1] Add emacs-company-coq. Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-To: guix-patches@gnu.org Resent-Date: Tue, 12 Apr 2022 10:47:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 38784 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: Brett Gilio Cc: 38784-done@debbugs.gnu.org Mail-Followup-To: 38784@debbugs.gnu.org, zimon.toutoune@gmail.com, brettg@gnu.org Received: via spool by 38784-done@debbugs.gnu.org id=D38784.16497603759969 (code D ref 38784); Tue, 12 Apr 2022 10:47:01 +0000 Received: (at 38784-done) by debbugs.gnu.org; 12 Apr 2022 10:46:15 +0000 Received: from localhost ([127.0.0.1]:47722 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1neE2J-0002ad-2g for submit@debbugs.gnu.org; Tue, 12 Apr 2022 06:46:15 -0400 Received: from mail-wr1-f52.google.com ([209.85.221.52]:46671) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1neE24-0002Za-9s for 38784-done@debbugs.gnu.org; Tue, 12 Apr 2022 06:46:00 -0400 Received: by mail-wr1-f52.google.com with SMTP id i20so13985270wrb.13 for <38784-done@debbugs.gnu.org>; Tue, 12 Apr 2022 03:46:00 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version; bh=UXKdA/6+Kv0Kv3MM+E+1oVtYOqAzBDElePBMhF6EsHw=; b=qnmw7Sp7/nsAPflJ3BjDDlOsQal491GIhwI55d/pff1NdsiO3bUeXhuFDSg8A+KHkW RZOdLBn2OyEz3yT7TJ/4Qg0n0GNYZw7yNEJFkrofxpTsP69rUciOY7MuJleEwrDJ7tJY glerYCK6Y1JMYt3qlgJygF3/2KK9yQwoC6Hh1u/Vs3gcg4YdVILM2Unbma3fq7Q8JPfK QRDIYkqJGKz4Gbg5FMY6YK1j+uiO+Q1VEwRrIu7RZaTrvs4JicGugxpZwtL+ARH3SLER RJf21GPvjWgzGx3Z+TgjE04phnWwqanAa6/QMayzvCiKghzrSDgPUliyhVoSVtHDSNVw dwyw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version; bh=UXKdA/6+Kv0Kv3MM+E+1oVtYOqAzBDElePBMhF6EsHw=; b=voGXpTVuOttyrLJacHMS3FRVB6eoj8i7H3yeEcnteRtzm5IJ1OudEtQNC9HYsFWcdt q9fBl0WlEj05W6yp/gcdBZo87a4/dO+ARRoWh8PtvB5jFqBJa9PJnODgSfsb0XGV2eyZ GVIJYT5UMRTmsyiB63JRtygw1DuA0RVa6osouz3SpXg/WXIVu7Q6iVKt6TWE0nY7h/vN 71y8WfP8hAsEtkm60rznMGdjHXRnQHLkWHRJjv+rlPV2U+HNZFLObPc3rgQ13FfCtXwQ ZH4y2kSTnCdH4zZX4ZLdSFlpVsbjlBuG1PURPVox2YMDGb2pAZRzf60Khb8WkkEPH8Wo quCA== X-Gm-Message-State: AOAM530+ZRfKZElSF3Witjf2PCOH4oxVQvcwdb1s6b4+nMfi89rXOFEY cARRt+oeBpGpErAmFcdsQliXig0GZ5w= X-Google-Smtp-Source: ABdhPJztJG2PKRukge3nNZkBUfXtIZY51bTd4/cWc4B1wgQy1CLQmKmiJ3ECzKdSFbI/7cllyazhzQ== X-Received: by 2002:a05:6000:1844:b0:207:9807:bc71 with SMTP id c4-20020a056000184400b002079807bc71mr16513150wri.551.1649760354634; Tue, 12 Apr 2022 03:45:54 -0700 (PDT) Received: from lili (roam-nat-fw-prg-194-254-61-46.net.univ-paris-diderot.fr. [194.254.61.46]) by smtp.gmail.com with ESMTPSA id w4-20020a7bc104000000b0038eba17a797sm1974713wmi.31.2022.04.12.03.45.54 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 12 Apr 2022 03:45:54 -0700 (PDT) From: zimoun References: <87mubchy3m.fsf@gnu.org> <87imm0hy0s.fsf@gnu.org> Date: Tue, 12 Apr 2022 12:45:34 +0200 In-Reply-To: <87imm0hy0s.fsf@gnu.org> (Brett Gilio's message of "Sat, 28 Dec 2019 16:43:15 -0600") Message-ID: <861qy237ht.fsf_-_@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain 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=1649760431; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-to:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=UXKdA/6+Kv0Kv3MM+E+1oVtYOqAzBDElePBMhF6EsHw=; b=PLTB/fnH4DLHa8e9nEd+VAXupCB7/Jsv5/yoypuAWM1oIxmkHx+5IrjpRL18+ae8gEEt57 MCcPrcOtgNGcYOW0QPYcSw4Ja7R7QlXtZS3EufQvzBFEq3seqBbRpzJeQBHIW2PheG43Zw TxT5zmt1lg3ZQJn1prENuUHVqsP0OcOc53kb/f53lNAzV3LYWs5DUHseX5l5dDehSl/dPx WxxZweV5WNSpyzTCBRm26OmMXhgNHu1ctQmz60983+oSOlBBNc/atfnTF1e6T6Ms0KpYA3 nNGNxJPYOPZEtuLBwjNoT3+0YWK4XtOaJXbamd3ZmWEVEGm5iVSVHc/4d6efSA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1649760431; a=rsa-sha256; cv=none; b=mL0vJqngkloFaPxyR7GW1/6hhcqHE/KkqQEtany87kpd1BTPWJ+FdFAhgz7NaHYseoDkuP nGRz7X2PM48UoL2+pEnUbFgvIutmz0PuL7/UQzzLgXHVvcg51NhBwU3CnqneYEf4QQ7aUu Z9mdX5hdhCKiINDAZQtUbW+bzSMGlmHMsgw/q+hWgZldW7+H3rKj17nAF4btD3KlqoAXs5 vzwhPD/9xDTpuN0DqLs+WAW1t3Nmi6bP/ulNx5lDFhpZt8gePckBWu5daDtbG76kkE7Dmy GwoeePRu014sOBL+TQQFjtjKQ+thI3HxNJxL4bPVgG2lcZuKJ0gKtd9waZgKyQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=qnmw7Sp7; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.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: 5.94 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=qnmw7Sp7; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.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: 476D43F40B X-Spam-Score: 5.94 X-Migadu-Scanner: scn1.migadu.com X-TUID: BqLRzXjb+mos Hi, Thanks for your submission. On Sat, 28 Dec 2019 at 16:43, Brett Gilio wrote: > * gnu/packages/emacs-xyz.scm (emacs-company-coq): New variable. > --- > gnu/packages/emacs-xyz.scm | 75 ++++++++++++++++++++++++++++++++++++++ > 1 file changed, 75 insertions(+) [...] > +(define-public emacs-company-coq > + (let ((commit "6e8bc2e367e8184079b7f4b4ab359b64ab884d7c") > + (revision "1") > + (version "1.0.1")) > + (package > + (name "emacs-company-coq") [...] > + (license license:gpl3+)))) --8<---------------cut here---------------start------------->8--- f931d46ce3e342f53dee926d3cff70b081f58e5f Author: John Soo AuthorDate: Mon Mar 30 14:36:38 2020 +0200 Commit: Nicolas Goaziou CommitDate: Mon Mar 30 14:37:41 2020 +0200 gnu: Add emacs-company-coq. * gnu/packages/emacs-xyz.scm (emacs-company-coq): New variable. 1 file changed, 37 insertions(+) gnu/packages/emacs-xyz.scm | 37 +++++++++++++++++++++++++++++++++++++ --8<---------------cut here---------------end--------------->8--- Therefore, closing! Cheers, simon