3
5
Fork 0
mirror of git://git.savannah.gnu.org/guix.git synced 2023-12-14 03:33:07 +01:00

gnu: Add texlive-latex-bussproofs.

* gnu/packages/tex.scm (texlive-latex-bussproofs): New variable.
This commit is contained in:
Danny Milosavljevic 2021-11-12 12:24:16 +01:00
parent fb3df20116
commit da73727f1a
No known key found for this signature in database
GPG key ID: E71A35542C30BAA5

View file

@ -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"