From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id aGbJHH5Oy2CzTwAAgWs5BA (envelope-from ) for ; Thu, 17 Jun 2021 15:30:38 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id aL5/GH5Oy2B8fwAAB5/wlQ (envelope-from ) for ; Thu, 17 Jun 2021 13:30:38 +0000 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 EECAA1574B for ; Thu, 17 Jun 2021 15:30:37 +0200 (CEST) Received: from localhost ([::1]:60774 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lts6N-0006aK-35 for larch@yhetil.org; Thu, 17 Jun 2021 09:30:35 -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 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-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+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1623936638; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type: 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=t2plPZ7PsXaZ+74hXVtjgFAurt/fv+0KDQfVm4SiBeE=; b=bZtHUQSFlJdFNTL0WynYjRRT9jQsFd93x4nxvECYGpvR7dwYmLjjSPtNGDUczqQyhX8vN8 3ajkqiQd3dYFw8t69dicAtPLYy6wfkRXHtLG5rC8NJVNRGMGIGGXspXooLW9UNaPW2ECAu 7o3blOWQvJiHXOIHpS8tTu58H76Mhy0rm/rkZZnkbzCEXsLJfgcyH7KVCQS3+GlLS+/9mM csjC0EG88xlukBAnkrpD/JcTdfbxfqYJd0wBkEh+KUz7tQqtA92f+ZjNwNGwPl6YLMlu6E lG5WMbdDgM9yTd02ZbX2ejv3QP5Ek7lxBBJnv+Ws29lqDc01ed+3RIVjuWY6zQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1623936638; a=rsa-sha256; cv=none; b=YCcrO92TOExlGrFyBtMZ8dtmrQuf36T5582+bmV0ytFJnZk5oTBEVIvLA/gAaoLoaN2ZmT iVOkS7wgU2J9d4bJnXJERunTAEZiUDLijRmhOersLH6WG2mR6ch0SBviTRlKVfXKMvd8w2 hsNxb6vY5v2awiAkot3sQFZ3eS7lhZE7PqnOpTYv4qu8sd0x6Yyl6B4moj7sJb2Kvx7LVP ZncfQ73bE7ivefwnS5dAPmLUv9H9bFeVn2fWS7JtAjTIYv14CP6htMIx2/dEmO+by/HCzb VbhwKalSOAXSLF92PwEYi5woEjAK2APNuMth3f2VCjrTjeIMcqEgBWFcSAAGlA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=yoctocell.xyz header.s=mail header.b=airhTHOX; dmarc=fail reason="SPF not aligned (relaxed)" header.from=yoctocell.xyz (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Spam-Score: -0.32 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=yoctocell.xyz header.s=mail header.b=airhTHOX; dmarc=fail reason="SPF not aligned (relaxed)" header.from=yoctocell.xyz (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Queue-Id: EECAA1574B X-Spam-Score: -0.32 X-Migadu-Scanner: scn0.migadu.com X-TUID: 8LF7AixasD9L * 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