From debbugs-submit-bounces@debbugs.gnu.org Thu Jun 17 09:19:58 2021 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 From debbugs-submit-bounces@debbugs.gnu.org Sat Jun 26 17:01:04 2021 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'. From unknown Tue Aug 19 14:22:44 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sun, 25 Jul 2021 11:24:07 +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