diff options
| -rw-r--r-- | gnu/packages/tex.scm | 43 |
1 files changed, 19 insertions, 24 deletions
diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index a761c1d104..1723515987 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -11463,31 +11463,26 @@ styles of inference rules, placement of labels, etc.") (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 |