From patchwork Thu Jun 17 13:19:39 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Xinglu Chen X-Patchwork-Id: 30332 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id EE40D27BC81; Thu, 17 Jun 2021 14:30:30 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED, MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H4,RCVD_IN_MSPIKE_WL,SPF_HELO_PASS, T_DKIM_INVALID,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 9E6D427BC78 for ; Thu, 17 Jun 2021 14:30:30 +0100 (BST) Received: from localhost ([::1]:60774 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lts6H-0006aK-Kw for patchwork@mira.cbaines.net; Thu, 17 Jun 2021 09:30:29 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:47114) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ltrwB-00005U-5u for guix-patches@gnu.org; Thu, 17 Jun 2021 09:20:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:42412) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1ltrwA-0004gY-T0 for guix-patches@gnu.org; Thu, 17 Jun 2021 09:20:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ltrwA-0000Up-He for guix-patches@gnu.org; Thu, 17 Jun 2021 09:20:02 -0400 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 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-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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/tex.scm (texlive-latex-ebproof): New variable. --- gnu/packages/tex.scm | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) base-commit: 99529872738d8da71570fa224ec7f1393c32c9b5 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 Garlick ;;; Copyright © 2021 Maxim Cournoyer ;;; Copyright © 2021 Leo Le Bouter +;;; Copyright © 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+)))) +(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 formulas 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"