diff options
| author | Danny Milosavljevic <dannym@scratchpost.org> | 2021-11-12 12:24:16 +0100 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@scratchpost.org> | 2021-11-12 16:22:35 +0100 |
| commit | da73727f1a1c49bd0b834d2d4da48d578062b0ae (patch) | |
| tree | ad31c0ac7d75a3d26108ed6f344b3ecc09f27949 /gnu/packages | |
| parent | fb3df2011692b2a6fea9f4fefd71dd788453fbae (diff) | |
| download | guix-da73727f1a1c49bd0b834d2d4da48d578062b0ae.tar.gz guix-da73727f1a1c49bd0b834d2d4da48d578062b0ae.zip | |
gnu: Add texlive-latex-bussproofs.
* gnu/packages/tex.scm (texlive-latex-bussproofs): New variable.
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/tex.scm | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index bc077b954f..5231840b26 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" |