diff options
| author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-30 13:08:14 +0200 |
|---|---|---|
| committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-30 19:41:14 +0200 |
| commit | a0a1840febc1cccbea1b244204a9a48a09959789 (patch) | |
| tree | 26986379921a7c5556d8c1d31b27b9ce88d0d716 /gnu/packages | |
| parent | 21718c6516708c38e3d2262b9fa769af74ff96a4 (diff) | |
| download | guix-a0a1840febc1cccbea1b244204a9a48a09959789.tar.gz | |
gnu: Add texlive-bussproofs-extra.
* gnu/packages/tex.scm (texlive-bussproofs-extra): New variable.
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/tex.scm | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index 217a40f80d..0ea8296df6 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -1998,6 +1998,27 @@ involving brackets and allow partial differentials to be expressed in an alternate form.") (license license:lppl1.3+))) +(define-public texlive-bussproofs-extra + (package + (name "texlive-bussproofs-extra") + (version (number->string %texlive-revision)) + (source (texlive-origin + name version + (list "doc/latex/bussproofs-extra/" + "source/latex/bussproofs-extra/" + "tex/latex/bussproofs-extra/") + (base32 + "08n6ww2fcijkisldrhbvvm52n3r4fy10bz1i4jyac7wnnpw8dd2p"))) + (outputs '("out" "doc")) + (build-system texlive-build-system) + (home-page "https://ctan.org/pkg/bussproofs-extra") + (synopsis "Extra commands for @file{bussproofs.sty}") + (description + "This package provides additional functionality for +@file{bussproofs.sty}; specifically, it allows for typesetting of +entire (sub)deductions.") + (license license:lppl1.3c))) + (define-public texlive-c-pascal (package (name "texlive-c-pascal") |