From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:306:2d92::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id sFeFHXb4+mS6KwAAauVa8A:P1 (envelope-from ) for ; Fri, 08 Sep 2023 12:33:26 +0200 Received: from aspmx1.migadu.com ([2001:41d0:306:2d92::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id sFeFHXb4+mS6KwAAauVa8A (envelope-from ) for ; Fri, 08 Sep 2023 12:33:26 +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 33FA444462 for ; Fri, 8 Sep 2023 12:33:26 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=foundationdevices.com header.s=google header.b=KurHMPut; 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"; dmarc=pass (policy=none) header.from=gnu.org ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1694169206; h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=4Cj9HIlwSZI/Dztr8jTULucaKPGjaYJauIORD1XWajI=; b=rR/oS9MLKlWcNilH5eW/I7C6fqWOnTuegKupLJ0zHRbh2S6+I4DWcNH2G748Wq0emUPfLp RBr1iYY9PgwRyYL+QKctt6CBT3XqNq4rpbIDOk+wTyfTkyPrnGkuyompgUtSYNcfHzNSAs jp11efGobuqLtsqoNsqc9exdvwSuPvGGQ5/ZFSA2mox//GpSkZU9Noi3ZJTBZsC2hzevXa y/SzDHs8xBjKg3KQUm0zHfOty3r85XDgfV32nY/4LlZ4EzpbIyIxqEniOA3kH4Qb15MLKU ++6pNfR1lxHCILHZMZ9Erfw1u4vA94YymkXCdfjQNPu8h4g1rmg+eVNY81kcBw== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1694169206; a=rsa-sha256; cv=none; b=GgXBwzO+HzIb+BeKTAbjLlnbVudC3zmidRt4VayPTD0GW5R/pNdbxwx0WVyCwalV5gNCgP pGP7pabJ/ILv4EWu71BcK0zQHGLQKQUAO6PGoqXxO+c4Irc35w1rCbnjirAshRiPKd6YsM agj/7DVYbjMl/CgMCI7w8idKR4U4xQHJGrfrjK9q5MJr6NYAd8Am9or03RYydqT+uMi9Zs a+n64WGIkJT2QcdVES3tenbd5anIxXogMEprYSQNKrNrnZ4oJpLzMeRXgu3elQWIIZmqUj 5iOQzKKRyyWZxoVOR/jrQ9tBCa/TnHQFL10kJunum/BAU1hqWNu7JFK+X8bd5Q== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=foundationdevices.com header.s=google header.b=KurHMPut; 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"; dmarc=pass (policy=none) header.from=gnu.org Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qeYnU-0003sK-5w; Fri, 08 Sep 2023 06:33:08 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qeYnM-0003qn-Mm for guix-patches@gnu.org; Fri, 08 Sep 2023 06:33:02 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qeYnM-0008I1-EJ for guix-patches@gnu.org; Fri, 08 Sep 2023 06:33:00 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qeYnO-0003VE-6A for guix-patches@gnu.org; Fri, 08 Sep 2023 06:33:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#65820] [PATCH 0/3] gnu: Add vim-coqtail. Resent-From: Jean-Pierre De Jesus DIAZ Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 08 Sep 2023 10:33:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 65820 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 65820@debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.169416918013456 (code B ref -1); Fri, 08 Sep 2023 10:33:01 +0000 Received: (at submit) by debbugs.gnu.org; 8 Sep 2023 10:33:00 +0000 Received: from localhost ([127.0.0.1]:42269 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qeYnM-0003Uw-E8 for submit@debbugs.gnu.org; Fri, 08 Sep 2023 06:33:00 -0400 Received: from lists.gnu.org ([2001:470:142::17]:41602) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qeYnI-0003Uf-6z for submit@debbugs.gnu.org; Fri, 08 Sep 2023 06:32:59 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qeYn8-0003mn-QH for guix-patches@gnu.org; Fri, 08 Sep 2023 06:32:46 -0400 Received: from mail-wm1-x333.google.com ([2a00:1450:4864:20::333]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qeYn6-0008FA-CN for guix-patches@gnu.org; Fri, 08 Sep 2023 06:32:46 -0400 Received: by mail-wm1-x333.google.com with SMTP id 5b1f17b1804b1-3ff1c397405so22072915e9.3 for ; Fri, 08 Sep 2023 03:32:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundationdevices.com; s=google; t=1694169161; x=1694773961; darn=gnu.org; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=4Cj9HIlwSZI/Dztr8jTULucaKPGjaYJauIORD1XWajI=; b=KurHMPutxuELWc5+a9Q8jW5ZSGkBVEZpkL/EXtgzanBMEocTBJl5XiCGYcM0AUjyyX j7Crf8N8hSK+cxNDiLIPT1WblRSfkZMEVeicbgkErcR+HaSa9LmqStMTA5lapBxDy8hb JqifxM3UOOxx6UXMtADNLKWT14CVcCUnvUtTTRpFzejxUQMA29cNo2h8rCNaJuqCgfAs 8F1aBquXk1v7OIWQKUWxaeGAqa73Q6XZ4TNXVbZpwsLNF3SQlRmZWxuAFFV7w9Mn3nQZ lGf9Tn8r8qHRtoKCZtMShqFDt1JjOu1tPcGl8f3/je+zOdaYkwJuIQql8UE7PpESWPCS UUqA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1694169161; x=1694773961; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=4Cj9HIlwSZI/Dztr8jTULucaKPGjaYJauIORD1XWajI=; b=tVuk0xShSBoFFvDbGrRFw4A8i+iQuHjFD8fImvr6ztWQeOTGf8GkrGMyAFXVk+TuzG w2roICXmE5MdZXsadApmcOuGhVbcSQR8omITOCzMT/f7yCO/RNgXcQqkBhwRTHIT308n K6iFWJ+vaesj+nczAlQIFb2U1qLKEy8RnMARQWJl8ObZPPlLPEeXJ2rELQHhbmkFZ6qO 102Xr9XJ54lKCkoHjZBb38LivHy+XqSaF8LkQSx/coO5HD2fgqRvfI/WUXQsPSx8fuWr UM0Qco6CvhV2VwF0RnVaxyX63mbVvBUKVEEwdGMOKbPSXPyX1Dg0Pmxbl0ggbQEPAEdN YMsQ== X-Gm-Message-State: AOJu0YwQguZBQ29IMmRq6PkezBiQqvZr2R0hqhO73fWGm1Y0Ow/oTuJm LCl7w47HVAkv2z6zqcXUv2E0GoJlcXCwVhf+CAphiw== X-Google-Smtp-Source: AGHT+IGbTTHceqrZgvj34ykBvKdWh964Lb2Rioj3ye3CocwtbHcQ53DP20yizhgorW2UyTIxXqiDyA== X-Received: by 2002:a7b:c445:0:b0:3fe:18a3:b3c with SMTP id l5-20020a7bc445000000b003fe18a30b3cmr1781049wmi.12.1694169161233; Fri, 08 Sep 2023 03:32:41 -0700 (PDT) Received: from omen15.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id h5-20020adffd45000000b0031c5d74ecd8sm1746126wrs.84.2023.09.08.03.32.40 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 08 Sep 2023 03:32:40 -0700 (PDT) Date: Fri, 8 Sep 2023 12:32:24 +0200 Message-Id: <20230908103223.21492-1-jean@foundationdevices.com> X-Mailer: git-send-email 2.34.1 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=2a00:1450:4864:20::333; envelope-from=jean@foundationdevices.com; helo=mail-wm1-x333.google.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, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 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: , Reply-to: Jean-Pierre De Jesus DIAZ X-ACL-Warn: , Jean-Pierre De Jesus DIAZ via Guix-patches From: Jean-Pierre De Jesus DIAZ via Guix-patches via Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN X-Migadu-Scanner: mx2.migadu.com X-Spam-Score: -6.22 X-Migadu-Queue-Id: 33FA444462 X-Migadu-Spam-Score: -6.22 X-TUID: QgRNW7SC6qga This patch series adds vim-vader and vim-coqtail, plugins for testing Vim plugins and for Coq interactive proof development, respectively. Also added a hidden coq-for-coqtail package due to the inner workings of vim-coqtail which expects coqc and coqidetop to be in the same bin folder, this is only for testing. For normal day to day usage of the plugin it will automatically find coqc and coqidetop in the user's profile, or the user can manually configure the Coq path if necessary. Decided to add vim-vader and test vim-coqtail properly to start looking into how a vim-build-system would in the future. Probably needs more package with tests before making a common build system for all of the Vim plugin packages. Jean-Pierre De Jesus DIAZ (3): gnu: Add vim-vader. gnu: Add coq-for-coqtail. gnu: Add vim-coqtail. gnu/packages/coq.scm | 27 ++++++++++ gnu/packages/vim.scm | 114 +++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 141 insertions(+) base-commit: d4645d5d25c9de0def9745c48a96504e500ec850 -- 2.34.1