From unknown Wed Jun 18 00:14:41 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#68060 <68060@debbugs.gnu.org> To: bug#68060 <68060@debbugs.gnu.org> Subject: Status: [PATCH 0/5] gnu: Add neovim-coqtail. Reply-To: bug#68060 <68060@debbugs.gnu.org> Date: Wed, 18 Jun 2025 07:14:41 +0000 retitle 68060 [PATCH 0/5] gnu: Add neovim-coqtail. reassign 68060 guix-patches submitter 68060 Jean-Pierre De Jesus DIAZ severity 68060 normal tag 68060 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Wed Dec 27 10:28:52 2023 Received: (at submit) by debbugs.gnu.org; 27 Dec 2023 15:28:52 +0000 Received: from localhost ([127.0.0.1]:37591 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rIVq0-0004V2-8G for submit@debbugs.gnu.org; Wed, 27 Dec 2023 10:28:52 -0500 Received: from lists.gnu.org ([2001:470:142::17]:40080) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rIVpx-0004Uo-Ud for submit@debbugs.gnu.org; Wed, 27 Dec 2023 10:28:50 -0500 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 1rIVpt-0006he-Iv for guix-patches@gnu.org; Wed, 27 Dec 2023 10:28:45 -0500 Received: from mail-wm1-x32b.google.com ([2a00:1450:4864:20::32b]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rIVps-0000Ul-5c for guix-patches@gnu.org; Wed, 27 Dec 2023 10:28:45 -0500 Received: by mail-wm1-x32b.google.com with SMTP id 5b1f17b1804b1-40d5aef534eso11965625e9.0 for ; Wed, 27 Dec 2023 07:28:43 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundationdevices.com; s=google; t=1703690922; x=1704295722; 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=++f42w73eerTI+OAYAP7CHObPP1/H7+MZlHxxXo3mgQ=; b=L6c53FQYXcgkPLl8UJY8/LwwG5s9vpePNktwIw5qsgV/k5lIUx6EHEJvW3Mf4KQWDP zuodTnvj6Jp+FmyMJJzzXG2RTtBpb1kJ7lz/xI+TOtMiyXlw3IopSvfzgapQKG/Woat7 4Mn6A8XlBDVQw/5yqAk1H5jlrYAhqpNngzkUNqPIxcAx0vGzHaUjojyfwvO0fB2Wqlx+ QDdZ0pXYDZYeCD4Pvte6AyG9ypGUyyuufK3nqK9rGWwLBRKRYJRyC2jLEt31JWx7v2Lc RZ/aSz4qV6S2fzl2o2FzoG7iOuBYphaIYZU0cJKE95i3yVhMYWffBS7m93u8GGiFtQV9 1n4A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1703690922; x=1704295722; 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=++f42w73eerTI+OAYAP7CHObPP1/H7+MZlHxxXo3mgQ=; b=wbbHmKv/3EzLamoisC/DaEW2f5OwpUzPg5PTD5dps9i5VMsPeQCjssuItJZ6rn55rE P/TL8pWoCvOEk96ElOmnjoUjmYW4i82ylJYgrY4V75FkFmNF6rv6UhTx7RlOnHHHYIAa DcGd5xttABp2iRP+u7msZ05Sq+1E26jfOpxXABTFhlcmdpMYJ1PeUVTC0vqEeeAwmh1L O8H17gI59mgIORjNYSWb3by1OlR14E1hyxVFS1g5G1DFTiht9dThJUE40lEivJTNach7 DdehvLV/hVSAydrXsiRHLq+pmbkRpT0jQRg1aBSGGqcgdZ/bHKbYai2gnrTcKHZGjaqM m3Mg== X-Gm-Message-State: AOJu0YzUbiAcIb0G9NmIaZyTeqXZ1QktxSzpGxAzcV9qyFilJ4PnYUHd dSzQgn5tKk40E7G+PkJPE8SMxydnsxVQT3Aff8vOxkyH55/82Q== X-Google-Smtp-Source: AGHT+IGP0I9N9DHS4ta5wE8vGywslDwI/5nUbgxwv8rvs3MPvNcZwS1Luiwf36PvCDoBTZchDNfH2g== X-Received: by 2002:a05:600c:c05:b0:40d:3c1c:129 with SMTP id fm5-20020a05600c0c0500b0040d3c1c0129mr5694917wmb.49.1703690922295; Wed, 27 Dec 2023 07:28:42 -0800 (PST) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id m2-20020a05600c4f4200b0040d5c58c41dsm4009816wmq.24.2023.12.27.07.28.41 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 27 Dec 2023 07:28:42 -0800 (PST) From: Jean-Pierre De Jesus DIAZ To: guix-patches@gnu.org Subject: [PATCH 0/5] gnu: Add neovim-coqtail. Date: Wed, 27 Dec 2023 16:28:36 +0100 Message-ID: X-Mailer: git-send-email 2.41.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=2a00:1450:4864:20::32b; envelope-from=jean@foundationdevices.com; helo=mail-wm1-x32b.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, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: submit Cc: Jean-Pierre De Jesus DIAZ 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: -0.0 (/) This adds the Neovim version of the vim-coqtail and vim-vader packages. Both neovim-vader and neovim-coqtail are tested using neovim instead of vim. Also refactored a bit the vim-vader and vim-coqtail package definitions to use the vim/neovim packages provided by the build system (or replace vim with vim-full in vim-vader's case). Jean-Pierre De Jesus DIAZ (5): gnu: vim-vader: Allow using neovim for tests. gnu: Add neovim-vader. gnu: vim-coqtail: Move vim-full to arguments. gnu: vim-coqtail: Allow using neovim for tests. gnu: Add neovim-coqtail. gnu/packages/vim.scm | 55 ++++++++++++++++++++++++++++++++------------ 1 file changed, 40 insertions(+), 15 deletions(-) base-commit: 756ba0429e84ee0f8ce30484439b78c00c61d286 -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Wed Dec 27 10:32:05 2023 Received: (at 68060) by debbugs.gnu.org; 27 Dec 2023 15:32:05 +0000 Received: from localhost ([127.0.0.1]:37597 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rIVt6-0007E0-QV for submit@debbugs.gnu.org; Wed, 27 Dec 2023 10:32:05 -0500 Received: from mail-wr1-x42e.google.com ([2a00:1450:4864:20::42e]:53547) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rIVt4-0007DJ-Hu for 68060@debbugs.gnu.org; Wed, 27 Dec 2023 10:32:03 -0500 Received: by mail-wr1-x42e.google.com with SMTP id ffacd0b85a97d-33686649b72so5401718f8f.3 for <68060@debbugs.gnu.org>; Wed, 27 Dec 2023 07:32:03 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundationdevices.com; s=google; t=1703691118; x=1704295918; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=PVZEQTVRbOLMObLizaU46hf18pYhCNQwzYSMhIbEEIA=; b=ZFQXnp/qKQqLCiydd3Cb4S9FaR7uy7Z8RgxqgboHInXCiL1nRBBeTiAHWRkT2z+d7k 2yo9hm2gIVeSQ7xOfm7OYof1EO+vHPdlGJ3muJSbUpsKcI99aEUST4sf4u/Gds6Z16a6 9EpiXLFxGd+HPmFvnXYzhbvFEKaHKDuubaH5oOFVyN3KsrnvaTrxb6MT2IrklrgYwK6L tlfDbE7Rx3h1Z6/4cGyWuft8KrRo2bDDktjEiWdXOkHEvSMwnMa0Pp4UEhJsm44+2TJG FQayKhLN5hbPu/RiYbFDJI3aGyIgjstLyIKFuYp6z+abZX/Hd33zffLKfkvvYPOeVv1L MHKA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1703691118; x=1704295918; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=PVZEQTVRbOLMObLizaU46hf18pYhCNQwzYSMhIbEEIA=; b=cN2bWJR4BA3PKtaYywpd6xiDBy7ZKdcazOrJWUodEaxeCACSSs+0UgH7LClPzoX5nN HEOUDq5h8+cJCYWv7KT2a2I/ZSjFoz9q7/LjbTnz+G51vDXsZEWPcLBh57C463W7Dccj JkKlYi0jJHDsc8qztqQf9l25qUzNircVBZ/yv2k9HO+AvZd5cAjPntljXex4ACLG7/82 iVMz6oqLW2E8zX4HUDU+Wtbg5TQI1Aqhh81qNGfie3bsgsaadtpjYFpyuroQp2sSTp4b E3dw4EdTmgnsus7dnppJkulPV8AxGNX6qWuHMFGcDX4HOReZVRXAGo/uBgGK9sB+XqA9 PpCw== X-Gm-Message-State: AOJu0YyS2XFsLFyytbV+e+SmxK4IiCuwAE06vamiydu1ZXWlxzaC2Tar ZPRSkLwlcN6ZP9wZb796N/Wb4DFnnLo0fmq16CJpFK/iyo7dcQ== X-Google-Smtp-Source: AGHT+IFDDzDLBiWyMrgHW5vu9FdIcJLHnvQnYm6w1bWMmdivQaADLOTA5UpStTW5W2oosG2kKisRfQ== X-Received: by 2002:adf:ef81:0:b0:336:6db3:1d7a with SMTP id d1-20020adfef81000000b003366db31d7amr4700813wro.103.1703691117512; Wed, 27 Dec 2023 07:31:57 -0800 (PST) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id e17-20020a5d5311000000b0033672cfca96sm15025139wrv.89.2023.12.27.07.31.57 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 27 Dec 2023 07:31:57 -0800 (PST) From: Jean-Pierre De Jesus DIAZ To: 68060@debbugs.gnu.org Subject: [PATCH 1/5] gnu: vim-vader: Allow using neovim for tests. Date: Wed, 27 Dec 2023 16:31:46 +0100 Message-ID: X-Mailer: git-send-email 2.41.0 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 68060 Cc: Jean-Pierre De Jesus DIAZ 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 (-) * gnu/packages/vim.scm (vim-vader): Allow using neovim for tests Change-Id: Id5b4423f24fdd42814b0a0e3fab801ec871611f7 --- gnu/packages/vim.scm | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/gnu/packages/vim.scm b/gnu/packages/vim.scm index 9debed0b86..03d1e5bed5 100644 --- a/gnu/packages/vim.scm +++ b/gnu/packages/vim.scm @@ -1509,7 +1509,7 @@ (define-public vim-vader #:phases (modify-phases %standard-phases (add-before 'install 'check - (lambda* (#:key tests? #:allow-other-keys) + (lambda* (#:key tests? vim? neovim? #:allow-other-keys) (when tests? ;; FIXME: suite1.vader fails with an unknown reason, ;; lang-if.vader requires Python and Ruby. @@ -1519,9 +1519,11 @@ (define-public vim-vader (display "Running Vim tests\n") (with-directory-excursion "test" - (setenv "VADER_TEST_VIM" "vim -E") + (when vim? + (setenv "VADER_TEST_VIM" "vim -E")) + (when neovim? + (setenv "VADER_TEST_VIM" "nvim --headless")) (invoke "bash" "./run-tests.sh")))))))) - (native-inputs (list vim)) (home-page "https://github.com/junegunn/vader.vim") (synopsis "Test framework for Vimscript") (description "Vader is a test framework for Vimscript designed to -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Wed Dec 27 10:32:05 2023 Received: (at 68060) by debbugs.gnu.org; 27 Dec 2023 15:32:05 +0000 Received: from localhost ([127.0.0.1]:37600 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rIVt7-0007E3-4D for submit@debbugs.gnu.org; Wed, 27 Dec 2023 10:32:05 -0500 Received: from mail-wr1-x431.google.com ([2a00:1450:4864:20::431]:43481) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rIVt5-0007DL-JD for 68060@debbugs.gnu.org; Wed, 27 Dec 2023 10:32:04 -0500 Received: by mail-wr1-x431.google.com with SMTP id ffacd0b85a97d-3368ae75082so2703471f8f.1 for <68060@debbugs.gnu.org>; Wed, 27 Dec 2023 07:32:04 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundationdevices.com; s=google; t=1703691119; x=1704295919; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=Z81jIcbPELWck9jX/EWJs0z+q9OczgiHh4xYxHL3RZQ=; b=dLZ0BdDzTjTLvTihwIQl3BpxCCt3ekqwthhWao+/ZaVCGkr+N5Nd3RF7JSQq+qhXSP NloIAsmhaLhH0usYZwQGfa7fYJQRSBS8E043nOQaCLrrkjoZUS/JC8AaUr68Bnl+a8uT 1yGnSD5uQ9c2IoNs8V1y+/uCRKGOrNsJ+YiIqfcaXweambmqellMSE4XgoWv2QQrZLNI qBym6rsfDJoHl3nM166k9x1TQ7K+2hmoPKEWPGbpXAfi62bCmbNEEzgyfDDrh7my7Him hRgvJtXu5D3mM2ig0WvlBiUgEr6B99tiSLXXBpCRe86L41ZvjCEnj9DCf1euVbINVIAw ETKQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1703691119; x=1704295919; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=Z81jIcbPELWck9jX/EWJs0z+q9OczgiHh4xYxHL3RZQ=; b=EKqsoSxZDRe3js/m51Jv0AtBxsBavFci7QYqC87gYeFUsI2MDo7AiVt7M+C32O8g7s ECaUkogFt8S3a52uQnVnGkZbT4N9L3SPZu9YouTOBjTNkz7DPHdOsUooGfv5wZrvyZ0M dTD+S2GfkygadT3VaWIo7kKATjZ2bMOx2II9V8wugE7gNzygDl8MMVXOgTuJqpwVFVQD 3PdBBYGJ39qKrEKqK7W0m7J+nquFKbk25xCMtfHB9FvlEXD4xEvvUmFV018HXMCgJLNz PzYDdvHLSbyMu2/GrYYsdOatrrmxY4r+dKcTRifKYq9Nbcf6JW6UrQEo59wHxrE8XHg1 U8bA== X-Gm-Message-State: AOJu0Yxk7xMUpgmrKQWoG03dc7ovbET9ZBM4jyPNP+xwtm1ahG/GRski sSUp7gVZJHVO3tNGncCIEdU84v46mu6IFBLj0ZuZlhsu3FBwmw== X-Google-Smtp-Source: AGHT+IFia07YfyM9k2aLj4GbFF10KcvXL89jdMzDHqf+MrGIhYLWORwbrvfXvw+tedUy3o6rGzCDOQ== X-Received: by 2002:a05:6000:1c9:b0:336:6dd3:bfd3 with SMTP id t9-20020a05600001c900b003366dd3bfd3mr4707678wrx.37.1703691118924; Wed, 27 Dec 2023 07:31:58 -0800 (PST) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id e17-20020a5d5311000000b0033672cfca96sm15025139wrv.89.2023.12.27.07.31.58 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 27 Dec 2023 07:31:58 -0800 (PST) From: Jean-Pierre De Jesus DIAZ To: 68060@debbugs.gnu.org Subject: [PATCH 2/5] gnu: Add neovim-vader. Date: Wed, 27 Dec 2023 16:31:47 +0100 Message-ID: <39a595c7fed22a827276efdfa2d55455bd5820cf.1703690765.git.jean@foundationdevices.com> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 68060 Cc: Jean-Pierre De Jesus DIAZ 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 (-) * gnu/packages/vim.scm (neovim-vader): New variable. Change-Id: Ib507c2086c31a42088f3f433b57ac1e345e27113 --- gnu/packages/vim.scm | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/gnu/packages/vim.scm b/gnu/packages/vim.scm index 03d1e5bed5..7fc6cae6e9 100644 --- a/gnu/packages/vim.scm +++ b/gnu/packages/vim.scm @@ -1533,6 +1533,11 @@ (define-public vim-vader automate testing and is compatible with Vim and Neovim.") (license license:expat)))) ;; Specified in README.md. +(define-public neovim-vader + (package + (inherit vim-vader) + (name "neovim-vader"))) + (define-public vim-jedi-vim (package (name "vim-jedi-vim") -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Wed Dec 27 10:32:11 2023 Received: (at 68060) by debbugs.gnu.org; 27 Dec 2023 15:32:11 +0000 Received: from localhost ([127.0.0.1]:37604 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rIVtD-0007Ec-GT for submit@debbugs.gnu.org; Wed, 27 Dec 2023 10:32:11 -0500 Received: from mail-wr1-x42a.google.com ([2a00:1450:4864:20::42a]:59741) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rIVt6-0007DP-TA for 68060@debbugs.gnu.org; Wed, 27 Dec 2023 10:32:05 -0500 Received: by mail-wr1-x42a.google.com with SMTP id ffacd0b85a97d-3366e78d872so4923079f8f.3 for <68060@debbugs.gnu.org>; Wed, 27 Dec 2023 07:32:06 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundationdevices.com; s=google; t=1703691120; x=1704295920; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=cSdZOE8faFp1daihKRAHPSQ44pJ4Noxa5k550+jixBM=; b=c3fBnRGE+SNk74RtzkEq4XkvrzCWhl8Y0v8+YPO1c5GHjLpCGLTMwcuqgPLsHp9MCq 5Hc8j1g49HeyB3cWuPRTxVIRwWrNSGFf6091iMQ6alxn4/AQXmUudu3T9XSyZ8KEG7CX SfuwhBR8sgCTOlY/7KTfiZCI0zhOrkD3ZDqsBHIfEV2l5qNaDCsHQ9/yLJdtnRdnLH/B HVJRQRet3YRMGr6ZFxfn+tx0jsaPb7kpHs9Z8BvRqcPNehYd9i2tu3gtB3dkKkrYfpq8 Z3iayMIMU9aZK7GF1HkkWnTL2ROm74WrEntRjHWKmGnTr5rXzxuZO+cUNIcWGvovr6Fw WTcQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1703691120; x=1704295920; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=cSdZOE8faFp1daihKRAHPSQ44pJ4Noxa5k550+jixBM=; b=M0iIpiGh/LINBLHd8BzH1kBaX8phcXuOSXAOtpR2ZIEQCmaTCu/Ounvq4vg8jEDzA9 Oih5TwENRat58/CKpqyc6uSod3+Jgk39BRLSPKcmti27o69A6IzaqPmWeIvypEsDWl+K IgHW5MItGPAME8LMxtM/L2Jo8owyNDNnF9YkJNngJ8+9xwjpuL9u1yH1QtnW/K7VdfnQ kKQmPbmG5rC3G3vED5d2NHDYM1qM3+zcT6O8Oa0q+mLaYBo6LD1wEFhuCjPD19nFEwQI gcMy/xhTOAdLMcqGe6FaMIXHNL2F4UmBGfv4PrzDt6y5s3e2b7mEr8YqDnLGyfMgtBny ifpA== X-Gm-Message-State: AOJu0YwTUizR1aWErOlsjmufTSKNxRAHStJ7ar3IpMk6wK4a+aDnJW2x ng0qBV+uPhuiVqX6fEjGzkyOoUs9EZYwwVPxQ4DwmlahOj2JDg== X-Google-Smtp-Source: AGHT+IHT7HWAGrvHIhz8qBxs0viLvtfaiMKypD9yuVWpsaoRwPZE1+qvuePlB9hCpIfipAIRhM2NRA== X-Received: by 2002:adf:fa4c:0:b0:336:85d7:a19b with SMTP id y12-20020adffa4c000000b0033685d7a19bmr2095496wrr.92.1703691120279; Wed, 27 Dec 2023 07:32:00 -0800 (PST) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id e17-20020a5d5311000000b0033672cfca96sm15025139wrv.89.2023.12.27.07.31.59 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 27 Dec 2023 07:32:00 -0800 (PST) From: Jean-Pierre De Jesus DIAZ To: 68060@debbugs.gnu.org Subject: [PATCH 3/5] gnu: vim-coqtail: Move vim-full to arguments. Date: Wed, 27 Dec 2023 16:31:48 +0100 Message-ID: <724bdaab2e29ea106be52177620cd2c5d53d203d.1703690765.git.jean@foundationdevices.com> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 68060 Cc: Jean-Pierre De Jesus DIAZ 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 (-) * gnu/packages/vim.scm (vim-coqtail): Move vim-full from native-inputs to arguments. Change-Id: I20cc1e0772727f8fc7db70b42151432fb6349fc7 --- gnu/packages/vim.scm | 14 ++++++-------- 1 file changed, 6 insertions(+), 8 deletions(-) diff --git a/gnu/packages/vim.scm b/gnu/packages/vim.scm index 7fc6cae6e9..e27feb13f7 100644 --- a/gnu/packages/vim.scm +++ b/gnu/packages/vim.scm @@ -470,7 +470,8 @@ (define-public vim-coqtail "0av2m075n6z05ah9ndrgnp9s16yrz6n2lj0igd9fh3c5k41x5xks")))) (build-system vim-build-system) (arguments - '(#:plugin-name "coqtail" + `(#:plugin-name "coqtail" + #:vim ,vim-full ; Plugin needs Python 3. #:phases (modify-phases %standard-phases (add-before 'install 'check @@ -491,9 +492,7 @@ (define-public vim-coqtail "/share/vim/vimfiles/pack/guix/start/vader"))) (with-directory-excursion "tests/vim" (setenv "VADER_PATH" vader-path) - (invoke (string-append - (assoc-ref (or native-inputs inputs) "vim-full") - "/bin/vim") + (invoke "vim" "-E" "-Nu" "vimrc" "-c" "Vader! *.vader"))) @@ -501,10 +500,9 @@ (define-public vim-coqtail ;; they don't get installed. (delete-file-recursively "python/__pycache__"))))))) (native-inputs - `(("coq-for-coqtail" ,coq-for-coqtail) - ("python-pytest" ,python-pytest) - ("vim-full" ,vim-full) ; Plugin needs Python 3. - ("vim-vader" ,vim-vader))) + (list coq-for-coqtail + python-pytest + vim-vader)) (propagated-inputs (list coq coq-ide-server)) (synopsis "Interactive Coq proofs in Vim") (description "Coqtail enables interactive Coq proof development in Vim -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Wed Dec 27 10:32:14 2023 Received: (at 68060) by debbugs.gnu.org; 27 Dec 2023 15:32:14 +0000 Received: from localhost ([127.0.0.1]:37606 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rIVtD-0007Ek-T5 for submit@debbugs.gnu.org; Wed, 27 Dec 2023 10:32:14 -0500 Received: from mail-wr1-x430.google.com ([2a00:1450:4864:20::430]:45500) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rIVt7-0007DQ-JB for 68060@debbugs.gnu.org; Wed, 27 Dec 2023 10:32:06 -0500 Received: by mail-wr1-x430.google.com with SMTP id ffacd0b85a97d-336f2c88361so820337f8f.3 for <68060@debbugs.gnu.org>; Wed, 27 Dec 2023 07:32:06 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundationdevices.com; s=google; t=1703691121; x=1704295921; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=dQT4C6gJ9/Z3bgZkUSXabj2uzHXe+1NlIEPxjNur73U=; b=RgKVq9Gx47/8mL1rimvybWytYFD7o6CnPsrVzQGoo+lqxjXrOoRElp/Het79u/jH4q QQprjn7Eqhg+wkwXw7q5HQOjxVNybVCu0sP1wsJ4wYkMuH3h9BGsUQf+lIlbYJgYIRqo u7p0gyoR5h3/XgLnFdn+4h3dAXWmQHr6Z8Kkp1Nv6APMPJz+LaV7Gsfr3WB8qES8TD3S TgwjPXYTmVE7ZFFJ73BC6r/i2h0XkUR1CY7c8IIPxB7p3V/QGPG+ry9fPrLFB9C/qfP5 MbCeFeh/GOOVlkAwjQwcODj6OvmLM8xWL4L5U79SA8DMROnGTk0rGCJGOqXHclqGCJQQ WetA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1703691121; x=1704295921; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=dQT4C6gJ9/Z3bgZkUSXabj2uzHXe+1NlIEPxjNur73U=; b=n6Axty2fI8Te8PcVE0L3qlwVO3Wm02DuGe+fAQye8e61umRSg+pF4UaJ5ouaLq3UKD My6l6/0vwnKKyzQHzBWfMZ4P5ryF7pEvBkxNDAWxcpdFoCgvaeWloSdbLNkI6XtSyHHZ YjaUWdNkwTAENIPRtewikZGd3DYBCKt0lnWq3fb5Lb7BgbQ5a6LkQ8zX9jjOlfwC3P44 tFIToO47ReOi80ULg6LP3I4jVlqkFFIShsTzx3Krar8J6Pm8sMK+ASiNupOCHvVaMU4S +oI5dhGSFlBZEZK5/FMQBpav9pQxV+ySBy1WxWqSLwsu3Yuon0qIwRTxfuQ06RIyu5hr y47Q== X-Gm-Message-State: AOJu0YyGvaEQqohd0ws8D71aAjY3Zj588ZimV56uNlGUbV0Wv2Z8/HD5 Gs7KeD45y4hv3sZ15D7T6RV+ArDgGT0ueuSG2Twq4lyed07Uyg== X-Google-Smtp-Source: AGHT+IE5/o5FoEHY8oYlda4fLZx+Sz3/stz35HSJqZloH0kW5kOfzOSHvjOXwIv4fsp4Mx9MtKd7Vg== X-Received: by 2002:adf:efc5:0:b0:336:b52d:30cf with SMTP id i5-20020adfefc5000000b00336b52d30cfmr3580370wrp.61.1703691120974; Wed, 27 Dec 2023 07:32:00 -0800 (PST) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id e17-20020a5d5311000000b0033672cfca96sm15025139wrv.89.2023.12.27.07.32.00 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 27 Dec 2023 07:32:00 -0800 (PST) From: Jean-Pierre De Jesus DIAZ To: 68060@debbugs.gnu.org Subject: [PATCH 4/5] gnu: vim-coqtail: Allow using neovim for tests. Date: Wed, 27 Dec 2023 16:31:49 +0100 Message-ID: <83ea421b25a6ee40b499d5efd7d0298685d425bd.1703690765.git.jean@foundationdevices.com> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 68060 Cc: Jean-Pierre De Jesus DIAZ 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 (-) * gnu/packages/vim.scm (vim-coqtail): Allow using neovim for tests. Change-Id: I114b07dd9cf525a5571a37f51b2e6b2a57d5be46 --- gnu/packages/vim.scm | 18 +++++++++++++----- 1 file changed, 13 insertions(+), 5 deletions(-) diff --git a/gnu/packages/vim.scm b/gnu/packages/vim.scm index e27feb13f7..5f211b120d 100644 --- a/gnu/packages/vim.scm +++ b/gnu/packages/vim.scm @@ -475,7 +475,8 @@ (define-public vim-coqtail #:phases (modify-phases %standard-phases (add-before 'install 'check - (lambda* (#:key inputs native-inputs tests? #:allow-other-keys) + (lambda* (#:key inputs native-inputs tests? vim? neovim? + #:allow-other-keys) (when tests? (display "Running Python unit tests.\n") (setenv "PYTHONPATH" (string-append (getcwd) "/python")) @@ -489,12 +490,19 @@ (define-public vim-coqtail "vim-vader")) (vader-path (string-append vim-vader - "/share/vim/vimfiles/pack/guix/start/vader"))) + (if vim? + "/share/vim/vimfiles" + "/share/nvim/site") + "/pack/guix/start/vader")) + (command `(,@(if vim? '("vim" "-E") '()) + ,@(if neovim? '("nvim" "--headless") '()) + "-Nu" "vimrc" + "-c" "Vader! *.vader"))) (with-directory-excursion "tests/vim" + (when neovim? + (setenv "HOME" (getcwd))) (setenv "VADER_PATH" vader-path) - (invoke "vim" - "-E" "-Nu" "vimrc" - "-c" "Vader! *.vader"))) + (apply invoke command))) ;; Remove __pycache__ files generated during testing so that ;; they don't get installed. -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Wed Dec 27 10:32:14 2023 Received: (at 68060) by debbugs.gnu.org; 27 Dec 2023 15:32:15 +0000 Received: from localhost ([127.0.0.1]:37608 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rIVtG-0007Ep-Jm for submit@debbugs.gnu.org; Wed, 27 Dec 2023 10:32:14 -0500 Received: from mail-wr1-x430.google.com ([2a00:1450:4864:20::430]:47121) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rIVt8-0007DS-3c for 68060@debbugs.gnu.org; Wed, 27 Dec 2023 10:32:06 -0500 Received: by mail-wr1-x430.google.com with SMTP id ffacd0b85a97d-3367601a301so5191011f8f.2 for <68060@debbugs.gnu.org>; Wed, 27 Dec 2023 07:32:07 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundationdevices.com; s=google; t=1703691121; x=1704295921; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=k6yQK/s9u3ULA/ZNhl9snjNPz2ZkEUI0M3jZToZfxf4=; b=ROaOEFdcKaY3L7nHFClfKxUz1An1o1pxxbiNOtY74nA7lY5lS1+jmdpUiK/9AdBthm bC1102FJTtTkYGcy/wNhmgcfKQfZcuZVf1J3ZxjxUf8ME9oegYpg/sjsQEmm3XsWClbu C/E8GPzbI8cfOXITQX4GthbKO6wvGHYZ+cYYCsclwuSDYp8RmXuG/3IGlAyBKuZFRbCn QESfvq+OhWWntk11rsoHjap5QIp3nYAFBGUdLXjkGTKCVpUmRuh5vai5o0wZDglY7rnP 9cnbf0J7iJwUyPZEpV3FvTj9mHmdLC1nsfEFznI247epsXIHRlUrDCVSWrGmq9MB78Lq UUeg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1703691121; x=1704295921; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=k6yQK/s9u3ULA/ZNhl9snjNPz2ZkEUI0M3jZToZfxf4=; b=pNC1AzX0IihdQovAfO0Loqs2PTKr87K8nBXPsW1cA7Hs1K0B3QYmk55ufGtejBoMAj 029bUQfQ5KK0Hoo0Uud2gRxD2GXwjGATbuIalJZfnM3FE2ILrfuUvo/yw/J1Xsx9Ul0L 1e7U9OxJoKAYsmWp+Hx6m+ewsbWSs6NPqFsqJz9Z1c4cwzCqDUu2GWOQL1CMS58WQ7Ka UnHNa77qXZT34knOPJ1C0Ca4gerFdGIZEY5NI0bURgNXxCbQjkuCzs8JGxPttVe4J8db ImqaV7xRIfFIXC7na2KRNkzZLjqDgU9IX2wrTDHnllQoaor7s/bC+gHor9AukyQAWsjD c8kg== X-Gm-Message-State: AOJu0Yw/1vF8xuSaheAu7d/MriTP+3ko9QeY5tdNrrwbTHN+VG0yQWm5 rJ/kqTFASIArEWKP7FB0xb0rCgK8QNZyPMCQvRkZtPh4nFPtbg== X-Google-Smtp-Source: AGHT+IEonIEIwIx+4Y7T0epgCxEVcLf4M51X8zUh02yftmHg/G4Q7VWjY9+vKygW8PtqNsnasz8I5Q== X-Received: by 2002:a5d:40c2:0:b0:336:8f25:a9c with SMTP id b2-20020a5d40c2000000b003368f250a9cmr3080053wrq.124.1703691121677; Wed, 27 Dec 2023 07:32:01 -0800 (PST) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id e17-20020a5d5311000000b0033672cfca96sm15025139wrv.89.2023.12.27.07.32.01 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 27 Dec 2023 07:32:01 -0800 (PST) From: Jean-Pierre De Jesus DIAZ To: 68060@debbugs.gnu.org Subject: [PATCH 5/5] gnu: Add neovim-coqtail. Date: Wed, 27 Dec 2023 16:31:50 +0100 Message-ID: X-Mailer: git-send-email 2.41.0 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 68060 Cc: Jean-Pierre De Jesus DIAZ 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 (-) * gnu/packages/vim.scm (neovim-coqtail): New variable. Change-Id: I431571925da02788410fc8bf3b1e1aea93bcb1bb --- gnu/packages/vim.scm | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/gnu/packages/vim.scm b/gnu/packages/vim.scm index 5f211b120d..1f7a005cb1 100644 --- a/gnu/packages/vim.scm +++ b/gnu/packages/vim.scm @@ -518,6 +518,18 @@ (define-public vim-coqtail (home-page "https://github.com/whonore/Coqtail") (license license:expat)))) +(define-public neovim-coqtail + (package + (inherit vim-coqtail) + (name "neovim-coqtail") + (synopsis "Interactive Coq proofs in Neovim") + (description "Coqtail enables interactive Coq proof development in Neovim +similar to CoqIDE or ProofGeneral.") + (native-inputs + (modify-inputs (package-native-inputs vim-coqtail) + (replace "vim-vader" neovim-vader) + (append python-minimal python-pynvim))))) + (define-public vim-fugitive (package (name "vim-fugitive") -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Mon Jan 01 04:00:31 2024 Received: (at 68060-done) by debbugs.gnu.org; 1 Jan 2024 09:00:31 +0000 Received: from localhost ([127.0.0.1]:47323 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rKE9v-0007cx-7S for submit@debbugs.gnu.org; Mon, 01 Jan 2024 04:00:31 -0500 Received: from mail-wm1-x329.google.com ([2a00:1450:4864:20::329]:59873) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rKE9t-0007Pw-0x for 68060-done@debbugs.gnu.org; Mon, 01 Jan 2024 04:00:29 -0500 Received: by mail-wm1-x329.google.com with SMTP id 5b1f17b1804b1-40d88fff7faso3897915e9.3 for <68060-done@debbugs.gnu.org>; Mon, 01 Jan 2024 01:00:27 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1704099621; x=1704704421; darn=debbugs.gnu.org; h=in-reply-to:content-disposition:mime-version:references :mail-followup-to:message-id:subject:cc:to:from:date:sender:from:to :cc:subject:date:message-id:reply-to; bh=veTDtdoX89cpCZzOFKN0PRIq6kOb2IE3rEzM9cfu2X8=; b=EExTOhJv/D1zzWV142xq2cuefwoWtUUDaf1pL6DWxjAX4fPDQqGArty18Zw4ZWR6Hi X4+4XcYrOT08fwrbg6s/3kq+U4nQznO7Nzg+6v2oYNqQsXDoEJF1kn2r4Y9O1pwNasi7 /KL9b7OHJPpwwKJf/z0kZ3Wa4gkAAYpO6ecO5+ELJdle+1Z7HCgH+z2U2ON86+jlTvp1 xHF4cm2SN1jB0NcNkylmzY7vW3WDi/AxKL4G4mvCl6XqyQoT1vxuuMB6FfijNIN7902t ADKPddfSjIVdnOJeWrQwpsA2nP/pWuQZqYkuCyWY1jcleJhGgsyqaS6Mm/eEFCPOhCxQ rKuA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1704099621; x=1704704421; h=in-reply-to:content-disposition:mime-version:references :mail-followup-to:message-id:subject:cc:to:from:date:sender :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=veTDtdoX89cpCZzOFKN0PRIq6kOb2IE3rEzM9cfu2X8=; b=s062ZzrPPmTwZy8vGmFfw3FUEhx+UKLPgW+r7Edc6P9zmwODNOgJVEUnEcU9592ktA +lfxXv0wM81ke0udJcvno325TNIIvhUX0KBNmKN8GAEuS9FKxUb/OX2hZmaRtywAbpvD rfgDUP9K6LzGQKG3oroT7B2RPfgcTCFh6V0XKkE1th6MUw6CwPu8K3xRJcMIDbImP1qr /W1BB/5C3Z8DMN7X3NhRaXDTBvnGYP/0QsalfFThFPVRil2UxWP5a4A3nVgQznodlrZ5 4UvZK64O1Bkj9QfKplInvCRPM6OlSarEGz/XZby8PK0Trzn7FVxgiY7BAkgPdwxsK4+j KtDQ== X-Gm-Message-State: AOJu0YxqK5XwYarO3ly6j99P8XtPsiSHgVmvnCVOzpBPNV9psZqWc3Ud 37Swq84UDsOVfswcNPBr9zg1H+3PlG1CpQ== X-Google-Smtp-Source: AGHT+IEWvjiac3b49l+H4OGqT6Q26yQZnVxJCH7UoGHaTKtT4UbwCa6eLwy/pp7wiHUk/YaOWGGfIg== X-Received: by 2002:a05:600c:5207:b0:40d:88ad:5aad with SMTP id fb7-20020a05600c520700b0040d88ad5aadmr284595wmb.362.1704099621179; Mon, 01 Jan 2024 01:00:21 -0800 (PST) Received: from localhost ([141.226.15.142]) by smtp.gmail.com with ESMTPSA id c10-20020a7bc2aa000000b0040d86e89abfsm4871561wmk.43.2024.01.01.01.00.20 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 01 Jan 2024 01:00:20 -0800 (PST) Date: Mon, 1 Jan 2024 11:00:19 +0200 From: Efraim Flashner To: Jean-Pierre De Jesus DIAZ Subject: Re: [bug#68060] [PATCH 0/5] gnu: Add neovim-coqtail. Message-ID: Mail-Followup-To: Efraim Flashner , Jean-Pierre De Jesus DIAZ , 68060-done@debbugs.gnu.org References: MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="JJLmvRCu5/NmyMkF" Content-Disposition: inline In-Reply-To: X-PGP-Key-ID: 0x41AAE7DCCA3D8351 X-PGP-Key: https://flashner.co.il/~efraim/efraim_flashner.asc X-PGP-Fingerprint: A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 X-Spam-Score: 0.5 (/) X-Debbugs-Envelope-To: 68060-done Cc: 68060-done@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: -0.5 (/) --JJLmvRCu5/NmyMkF Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Patches look good. Thanks! --=20 Efraim Flashner =D7=A8=D7=A0=D7=A9=D7=9C=D7=A4 = =D7=9D=D7=99=D7=A8=D7=A4=D7=90 GPG key =3D A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted --JJLmvRCu5/NmyMkF Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCAAdFiEEoov0DD5VE3JmLRT3Qarn3Mo9g1EFAmWSfyMACgkQQarn3Mo9 g1EPcQ/+OQIm5O+WWPBpC1ivnvMp6ws2Bn0dJEWMbBSihNA3hR19UN4natlm2+fC ZQtGi4INkvt/EDFxEQG9aI31PVHdY/XEYP0oULuxYuk0D7uvg/zy20I3LvT83ZLX UvUcCdk9d8oyWcQcBA7avXUCOi5VI9RNx0+SO+UUx8Oi7A2OKkVAKcNncKi8/6Uz iNQ6P6Au4VvJ7Y6GEbcNCFzG7qCOUoRH/C0KfesPhyiWsQZ8ROzuT9Fa0DSiAX1E SaQy/wVENjudiN4cmZNJ+BlmRg9mG4SRdfUALqNN+Ed9SAcAX3JA1j1SJJOXxgxj 8fHZ+W9JjQX4k2jjWi3AIiS0dxtOe/cawoh/4MHckt3meAfJr0Z++0jD1jHBJdig TLwB/DyenWu4zlrGL/HpNZQSuuFZeNay19R16IX5EfrqNree45kdG+LydnABeVFW 7tfn0zkn8wCGasfOxWL2EiT6t/w5StML7ZpGSJ4wW7G1n5NN0fL3dQkQEYhkgQnn NUozAhFDyz+qL/dpn20dhMKWA9pf8esrL5qMLWO5z0uRhlnviPMD9eLJSY/nr/gB OMl1/u33cR7V0hlmhpZh/T3RutQFiXf1PfG4a2vLahmZfn8qXfPNtQp6jh0jY70x RhIv0FnhMwYEP/rvfwfVPsksuuQ4OqaNEU8HNVUiiCrjb9RbKNo= =2mQD -----END PGP SIGNATURE----- --JJLmvRCu5/NmyMkF-- From unknown Wed Jun 18 00:14:41 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, 29 Jan 2024 12:24:08 +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