branch master updated: gnu: Add texlive-latex-bussproofs.

[guix-commits]

This is an automated email from the git hooks/post-receive script.

dannym pushed a commit to branch master
in repository guix.

The following commit(s) were added to refs/heads/master by this push:
     new da73727  gnu: Add texlive-latex-bussproofs.
da73727 is described below

commit da73727f1a1c49bd0b834d2d4da48d578062b0ae
Author: Danny Milosavljevic <dannym@scratchpost.org>
AuthorDate: Fri Nov 12 12:24:16 2021 +0100

    gnu: Add texlive-latex-bussproofs.
    
    * gnu/packages/tex.scm (texlive-latex-bussproofs): New variable.
---
 gnu/packages/tex.scm | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)

diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm
index bc077b9..5231840 100644
--- a/gnu/packages/tex.scm
+++ b/gnu/packages/tex.scm
@@ -8724,6 +8724,32 @@ 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-latex-bussproofs
+  (let ((template (simple-texlive-package
+                   "texlive-latex-bussproofs"
+                   (list "/doc/latex/bussproofs/"
+                         "/tex/latex/bussproofs/")
+                   (base32
+                    "1gb8y9g89fqw1kix4d2vb7mj440vlb8hnpsa3jqpk9yicndwcyk6"))))
+    (package
+      (inherit template)
+      (arguments
+       (substitute-keyword-arguments (package-arguments template)
+         ((#:tex-directory _ '())
+          "latex/bussproofs")
+         ((#:build-targets _ '())
+          ''()) ; "bussproofs.sty"
+         ((#:phases phases)
+          `(modify-phases ,phases
+             (add-after 'unpack 'chdir
+               (lambda _ (chdir "tex/latex/bussproofs")))))))
+      (home-page 
"https://www.math.ucsd.edu/~sbuss/ResearchWeb/bussproofs/index.html";)
+      (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.")
+      (license license:lppl1.3+))))
+
 (define-public texlive-eurosym
   (let ((template (simple-texlive-package
                    "texlive-eurosym"