From unknown Tue Aug 19 14:22:17 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#49072] [PATCH] gnu: Add texlive-latex-ebproof. Resent-From: Xinglu Chen Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 17 Jun 2021 13:20:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 49072 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 49072@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.16239359981891 (code B ref -1); Thu, 17 Jun 2021 13:20:02 +0000 Received: (at submit) by debbugs.gnu.org; 17 Jun 2021 13:19:58 +0000 Received: from localhost ([127.0.0.1]:53958 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ltrw2-0000UN-HS for submit@debbugs.gnu.org; Thu, 17 Jun 2021 09:19:58 -0400 Received: from lists.gnu.org ([209.51.188.17]:41528) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ltrvy-0000UD-4c for submit@debbugs.gnu.org; Thu, 17 Jun 2021 09:19:53 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:47072) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ltrvw-000857-Nm for guix-patches@gnu.org; Thu, 17 Jun 2021 09:19:49 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:34534 helo=mail.yoctocell.xyz) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ltrvu-0004Vo-7c for guix-patches@gnu.org; Thu, 17 Jun 2021 09:19:48 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1623935979; bh=f6bA7pdc9Y8yhc7VOXIeMxglQ45IL6nxWf+H9E1BmZQ=; h=From:To:Subject:Date; b=airhTHOXeGvXuxWnX/Q5RnwrqDrxzWfrEPDI0E43w4GTt3LgpVBxrpwISF7SuXr4G DkdLROYj/uw0+7E5CG7FQVRJtdJRTCRq+N6H/rBX1EfGbyNrTjE9OarmisXrncfVdK ikuiCHbZAwaV93AjK+WSAi3RyPrCRRrnFKaNZxds= Message-Id: Date: Thu, 17 Jun 2021 15:19:39 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=87.96.130.155; envelope-from=public@yoctocell.xyz; helo=mail.yoctocell.xyz X-Spam_score_int: 34 X-Spam_score: 3.4 X-Spam_bar: +++ X-Spam_report: (3.4 / 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, FROM_SUSPICIOUS_NTLD=0.498, FROM_SUSPICIOUS_NTLD_FP=1.99, PDS_OTHER_BAD_TLD=1.997, RDNS_DYNAMIC=0.982, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-Spam-Score: 3.2 (+++) 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: * gnu/packages/tex.scm (texlive-latex-ebproof): New variable. --- gnu/packages/tex.scm | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index da19a57e59..086d6190dd 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -16,6 +16,7 @@ ;;; Copyright =?UTF-8?Q?=C2=A9?= 2020, 2021 Paul Ga [...] Content analysis details: (3.2 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] -2.3 RCVD_IN_DNSWL_MED RBL: Sender listed at https://www.dnswl.org/, medium trust [209.51.188.17 listed in list.dnswl.org] 0.0 RCVD_IN_MSPIKE_H4 RBL: Very Good reputation (+4) [209.51.188.17 listed in wl.mailspike.net] 2.0 FROM_SUSPICIOUS_NTLD_FP From abused NTLD 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 0.0 RCVD_IN_MSPIKE_WL Mailspike good senders 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.5 (++) 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: * gnu/packages/tex.scm (texlive-latex-ebproof): New variable. --- gnu/packages/tex.scm | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index da19a57e59..086d6190dd 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -16,6 +16,7 @@ ;;; Copyright =?UTF-8?Q?=C2=A9?= 2020, 2021 Paul Ga [...] Content analysis details: (2.5 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 RCVD_IN_MSPIKE_H4 RBL: Very Good reputation (+4) [209.51.188.17 listed in wl.mailspike.net] -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 0.0 RCVD_IN_MSPIKE_WL Mailspike good senders -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/tex.scm (texlive-latex-ebproof): New variable. --- gnu/packages/tex.scm | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index da19a57e59..086d6190dd 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -16,6 +16,7 @@ ;;; Copyright =C2=A9 2020, 2021 Paul Garlick ;;; Copyright =C2=A9 2021 Maxim Cournoyer ;;; Copyright =C2=A9 2021 Leo Le Bouter +;;; Copyright =C2=A9 2021 Xinglu Chen ;;; ;;; This file is part of GNU Guix. ;;; @@ -8546,6 +8547,35 @@ theorems. The package supports saving and reuse of = source code and text parts.") (license license:lppl1.3c+)))) =20 +(define-public texlive-latex-ebproof + (package + (name "texlive-latex-ebproof") + (version "2.1.1") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://framagit.org/manu/ebproof") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1zkrfaf343js0yc1x7m3d8hzbh5izn0lb01jrmdpjm51kdbh30xq")))) + (build-system texlive-build-system) + (arguments '(#:tex-directory "latex/ebproof")) + (propagated-inputs + `(("texlive-latex-l3kernel" ,texlive-latex-l3kernel))) + (home-page "http://www.ctan.org/pkg/ebproof") + (synopsis + "Formal proofs in the style of sequent calculus") + (description + "This package provides commands to typeset proof trees in the style of +sequent calculus and related systems. The commands allow for writing +inferences with any number of premises and alignment of successive formula= s on +an arbitrary point. Various options allow complete control over spacing, +styles of inference rules, placement of labels, etc.") + (license license:lppl1.3+))) + (define-public texlive-eurosym (let ((template (simple-texlive-package "texlive-eurosym" base-commit: 99529872738d8da71570fa224ec7f1393c32c9b5 --=20 2.32.0 From unknown Tue Aug 19 14:22:17 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: Xinglu Chen Subject: bug#49072: closed (Re: bug#49072: [PATCH] gnu: Add texlive-latex-ebproof.) Message-ID: References: <87pmw81gu0.fsf@gnu.org> X-Gnu-PR-Message: they-closed 49072 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 49072@debbugs.gnu.org Date: Sat, 26 Jun 2021 21:02:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1624741322-16569-1" This is a multi-part message in MIME format... ------------=_1624741322-16569-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #49072: [PATCH] gnu: Add texlive-latex-ebproof. 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 49072@debbugs.gnu.org. --=20 49072: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D49072 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1624741322-16569-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 49072-done) by debbugs.gnu.org; 26 Jun 2021 21:01:05 +0000 Received: from localhost ([127.0.0.1]:48719 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lxFQG-0004Ho-O4 for submit@debbugs.gnu.org; Sat, 26 Jun 2021 17:01:04 -0400 Received: from eggs.gnu.org ([209.51.188.92]:51842) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lxFQF-0004H6-81 for 49072-done@debbugs.gnu.org; Sat, 26 Jun 2021 17:01:03 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:40926) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lxFQ8-00012F-Ud; Sat, 26 Jun 2021 17:00:56 -0400 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=42490 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lxFQ8-0006Xz-Fw; Sat, 26 Jun 2021 17:00:56 -0400 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Xinglu Chen Subject: Re: bug#49072: [PATCH] gnu: Add texlive-latex-ebproof. References: Date: Sat, 26 Jun 2021 23:00:55 +0200 In-Reply-To: (Xinglu Chen's message of "Thu, 17 Jun 2021 15:19:39 +0200") Message-ID: <87pmw81gu0.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.3 (/) X-Debbugs-Envelope-To: 49072-done Cc: 49072-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: -1.3 (-) Xinglu Chen skribis: > * gnu/packages/tex.scm (texlive-latex-ebproof): New variable. Applied, thanks! Ludo'. ------------=_1624741322-16569-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 17 Jun 2021 13:19:58 +0000 Received: from localhost ([127.0.0.1]:53958 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ltrw2-0000UN-HS for submit@debbugs.gnu.org; Thu, 17 Jun 2021 09:19:58 -0400 Received: from lists.gnu.org ([209.51.188.17]:41528) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ltrvy-0000UD-4c for submit@debbugs.gnu.org; Thu, 17 Jun 2021 09:19:53 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:47072) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ltrvw-000857-Nm for guix-patches@gnu.org; Thu, 17 Jun 2021 09:19:49 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:34534 helo=mail.yoctocell.xyz) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ltrvu-0004Vo-7c for guix-patches@gnu.org; Thu, 17 Jun 2021 09:19:48 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1623935979; bh=f6bA7pdc9Y8yhc7VOXIeMxglQ45IL6nxWf+H9E1BmZQ=; h=From:To:Subject:Date; b=airhTHOXeGvXuxWnX/Q5RnwrqDrxzWfrEPDI0E43w4GTt3LgpVBxrpwISF7SuXr4G DkdLROYj/uw0+7E5CG7FQVRJtdJRTCRq+N6H/rBX1EfGbyNrTjE9OarmisXrncfVdK ikuiCHbZAwaV93AjK+WSAi3RyPrCRRrnFKaNZxds= To: guix-patches@gnu.org Subject: [PATCH] gnu: Add texlive-latex-ebproof. Message-Id: Date: Thu, 17 Jun 2021 15:19:39 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=87.96.130.155; envelope-from=public@yoctocell.xyz; helo=mail.yoctocell.xyz X-Spam_score_int: 34 X-Spam_score: 3.4 X-Spam_bar: +++ X-Spam_report: (3.4 / 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, FROM_SUSPICIOUS_NTLD=0.498, FROM_SUSPICIOUS_NTLD_FP=1.99, PDS_OTHER_BAD_TLD=1.997, RDNS_DYNAMIC=0.982, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-Spam-Score: 3.2 (+++) 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: * gnu/packages/tex.scm (texlive-latex-ebproof): New variable. --- gnu/packages/tex.scm | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index da19a57e59..086d6190dd 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -16,6 +16,7 @@ ;;; Copyright © 2020, 2021 Paul Ga [...] Content analysis details: (3.2 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] -2.3 RCVD_IN_DNSWL_MED RBL: Sender listed at https://www.dnswl.org/, medium trust [209.51.188.17 listed in list.dnswl.org] 0.0 RCVD_IN_MSPIKE_H4 RBL: Very Good reputation (+4) [209.51.188.17 listed in wl.mailspike.net] 2.0 FROM_SUSPICIOUS_NTLD_FP From abused NTLD 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 0.0 RCVD_IN_MSPIKE_WL Mailspike good senders X-Debbugs-Envelope-To: submit 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.5 (++) 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: * gnu/packages/tex.scm (texlive-latex-ebproof): New variable. --- gnu/packages/tex.scm | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index da19a57e59..086d6190dd 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -16,6 +16,7 @@ ;;; Copyright © 2020, 2021 Paul Ga [...] Content analysis details: (2.5 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 RCVD_IN_MSPIKE_H4 RBL: Very Good reputation (+4) [209.51.188.17 listed in wl.mailspike.net] -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 0.0 RCVD_IN_MSPIKE_WL Mailspike good senders -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/tex.scm (texlive-latex-ebproof): New variable. --- gnu/packages/tex.scm | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index da19a57e59..086d6190dd 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -16,6 +16,7 @@ ;;; Copyright =C2=A9 2020, 2021 Paul Garlick ;;; Copyright =C2=A9 2021 Maxim Cournoyer ;;; Copyright =C2=A9 2021 Leo Le Bouter +;;; Copyright =C2=A9 2021 Xinglu Chen ;;; ;;; This file is part of GNU Guix. ;;; @@ -8546,6 +8547,35 @@ theorems. The package supports saving and reuse of = source code and text parts.") (license license:lppl1.3c+)))) =20 +(define-public texlive-latex-ebproof + (package + (name "texlive-latex-ebproof") + (version "2.1.1") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://framagit.org/manu/ebproof") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1zkrfaf343js0yc1x7m3d8hzbh5izn0lb01jrmdpjm51kdbh30xq")))) + (build-system texlive-build-system) + (arguments '(#:tex-directory "latex/ebproof")) + (propagated-inputs + `(("texlive-latex-l3kernel" ,texlive-latex-l3kernel))) + (home-page "http://www.ctan.org/pkg/ebproof") + (synopsis + "Formal proofs in the style of sequent calculus") + (description + "This package provides commands to typeset proof trees in the style of +sequent calculus and related systems. The commands allow for writing +inferences with any number of premises and alignment of successive formula= s on +an arbitrary point. Various options allow complete control over spacing, +styles of inference rules, placement of labels, etc.") + (license license:lppl1.3+))) + (define-public texlive-eurosym (let ((template (simple-texlive-package "texlive-eurosym" base-commit: 99529872738d8da71570fa224ec7f1393c32c9b5 --=20 2.32.0 ------------=_1624741322-16569-1--