ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2025-01-19 09:22:05 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: texlive-latex-bussproofs -> texlive-bussproofs.

Browse source 
* gnu/packages/tex.scm (texlive-bussproofs): New variable.
(texlive-latex-bussproofs): Deprecate variable.
This commit is contained in:
Nicolas Goaziou 2023-05-14 14:46:40 +02:00
parent f6d9293d96
commit 685c59c2e0
No known key found for this signature in database
GPG key ID: DA00B4F048E92F2D
1 changed files with 19 additions and 24 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

43
gnu/packages/tex.scm
View file

@ -11463,31 +11463,26 @@ (define-public texlive-ebproof
(define-deprecated-package texlive-latex-ebproof texlive-ebproof)
(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
(define-public texlive-bussproofs
(package
(name "texlive-bussproofs")
(version (number->string %texlive-revision))
(source (texlive-origin
name version
(list "doc/latex/bussproofs/"
"tex/latex/bussproofs/")
(base32
"1gb8y9g89fqw1kix4d2vb7mj440vlb8hnpsa3jqpk9yicndwcyk6")))
(outputs '("out" "doc"))
(build-system texlive-build-system)
(home-page "https://ctan.org/pkg/bussproofs")
(synopsis "Proof trees in the style of the sequent calculus")
(description
"This package provides commands to typeset proof trees in the style of
sequent calculus and related systems.")
(license license:lppl1.3+))))
(license license:lppl1.3+)))
(define-deprecated-package texlive-latex-bussproofs texlive-bussproofs)
(define-public texlive-euenc
(package