From da73727f1a1c49bd0b834d2d4da48d578062b0ae Mon Sep 17 00:00:00 2001 From: Danny Milosavljevic Date: Fri, 12 Nov 2021 12:24:16 +0100 Subject: gnu: Add texlive-latex-bussproofs. * gnu/packages/tex.scm (texlive-latex-bussproofs): New variable. --- gnu/packages/tex.scm | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) (limited to 'gnu/packages/tex.scm') 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" -- cgit v1.2.3 From f2d55971453bd11f43c2734f91c42005ee314091 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Fri, 12 Nov 2021 08:23:53 +0000 Subject: gnu: Add texlive-fira. * gnu/packages/tex.scm (texlive-fira): New variable. --- gnu/packages/tex.scm | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) (limited to 'gnu/packages/tex.scm') diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index 5231840b26..3c174a3f80 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -4138,6 +4138,31 @@ but non-expandable ones.") (define-public texlive-latex-filemod (deprecated-package "texlive-latex-filemod" texlive-filemod)) +(define-public texlive-fira + (package + (inherit (simple-texlive-package + "texlive-fira" + (list "doc/fonts/fira/" + "tex/latex/fira/" + "fonts/vf/public/fira/" + "fonts/type1/public/fira/" + "fonts/tfm/public/fira/" + "fonts/opentype/public/fira/" + "fonts/map/dvips/fira/" + "fonts/enc/dvips/fira/") + (base32 "0mxrwwf8i383vrs64lsyiwnai4cy305pkv1kgd4nrhmgi7pdc3ac") + #:trivial? #t)) + (build-system texlive-build-system) + (home-page "https://ctan.org/fonts/fira") + (synopsis "Fira fonts with LaTeX support") + (description + "This package provides LaTeX, pdfLaTeX, XeLaTeX and LuaLaTeX support for +the Fira Sans family of fonts designed by Erik Spiekermann and Ralph du +Carrois of Carrois Type Design. Fira Sans is available in eleven weights with +corresponding italics: light, regular, medium, bold, ...") + (license (list license:lppl + license:silofl1.1)))) + (define-public texlive-latex-ifplatform (package (name "texlive-latex-ifplatform") -- cgit v1.2.3 From e699eb3bccab17cd24ca57ce27e3544c9a8927fc Mon Sep 17 00:00:00 2001 From: Ludovic Courtès Date: Tue, 16 Nov 2021 13:39:39 +0100 Subject: gnu: Add texlive-translator. * gnu/packages/tex.scm (texlive-translator): New variable. Co-authored-by: Ricardo Wurmus --- gnu/packages/tex.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) (limited to 'gnu/packages/tex.scm') diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index 3c174a3f80..ba959b8191 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -8829,6 +8829,28 @@ are valid as arguments for the macros. The package may be used under LaTeX and plain TeX.") (license (license:fsf-free "file:/binhex.dtx")))) +(define-public texlive-translator + (package + (inherit (simple-texlive-package + "texlive-translator" + (list "doc/latex/translator/" + "tex/latex/translator/") + (base32 + "1pac03qghaw9q98skfrgzgk4wnz04pgizw59c4k5ydphw1vpsvcz") + #:trivial? #t)) + (build-system texlive-build-system) + (home-page "https://ctan.org/macros/latex/contrib/translator") + (synopsis "Easy translation of strings in LaTeX") + (description + "This LaTeX package provides a flexible mechanism for translating +individual words into different languages. For example, it can be used to +translate a word like \"figure\" into, say, the German word \"Abbildung\". +Such a translation mechanism is useful when the author of some package would +like to localize the package such that texts are correctly translated into the +language preferred by the user. This package is not intended to be used to +automatically translate more than a few words.") + (license (list license:lppl license:gpl1+)))) + (define-public bibtool (package (name "bibtool") -- cgit v1.2.3 From 9bbbac6783bcdace17d967e85c8ae8d14cbf1ef9 Mon Sep 17 00:00:00 2001 From: Ludovic Courtès Date: Tue, 16 Nov 2021 14:06:41 +0100 Subject: gnu: Add texlive-latex-textpos. * gnu/packages/tex.scm (texlive-latex-textpos): New variable. --- gnu/packages/tex.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) (limited to 'gnu/packages/tex.scm') diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index ba959b8191..ed171475ab 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -8851,6 +8851,30 @@ language preferred by the user. This package is not intended to be used to automatically translate more than a few words.") (license (list license:lppl license:gpl1+)))) +(define-public texlive-latex-textpos + (package + (inherit (simple-texlive-package + "texlive-latex-textpos" + (list "doc/latex/textpos/" + "tex/latex/textpos/") + (base32 + "1g208dx853xg7g72jggkh13934r49yypksvalm5pk6snh0s0k86c") + #:trivial? #t)) + (build-system texlive-build-system) + (home-page "https://ctan.org/pkg/textpos") + (synopsis "Absolute positioning of text on the LaTeX page") + (description + "This package facilitates placing boxes at absolute positions on the +LaTeX page. There are several reasons why this might be useful, but the main +one (or at least my motivating one) is to help produce a large-format +conference poster. + +This package provides a single environment, plus a starred variant, which +contains the text (or graphics, or table, or whatever) which is to be placed +on the page, and which specifies where it is to be placed. The environment is +accompanied by various configuration commands.") + (license license:lppl))) + (define-public bibtool (package (name "bibtool") -- cgit v1.2.3 From 7dce1df34b5838f8d8915dab3127a27bbb8a430f Mon Sep 17 00:00:00 2001 From: Ludovic Courtès Date: Tue, 16 Nov 2021 16:59:29 +0100 Subject: gnu: Add texlive-xifthen. * gnu/packages/tex.scm (texlive-xifthen): New variable. --- gnu/packages/tex.scm | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) (limited to 'gnu/packages/tex.scm') diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index ed171475ab..bfca91310a 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -8875,6 +8875,27 @@ on the page, and which specifies where it is to be placed. The environment is accompanied by various configuration commands.") (license license:lppl))) +(define-public texlive-xifthen + (package + (inherit (simple-texlive-package + "texlive-xifthen" + (list "doc/latex/xifthen/" + "tex/latex/xifthen/") + (base32 + "0b33mlmnxsj5mi06v2w2zgamk51mgv1lxdr1cax8nkpn9g7n9axw") + #:trivial? #t)) + (build-system texlive-build-system) + (home-page "https://ctan.org/pkg/xifthen") + (synopsis "Extended conditional commands") + (description + "This package extends the @code{ifthen} package by implementing new +commands to go within the first argument of @code{\\\\ifthenelse}: to test +whether a string is void or not, if a command is defined or equivalent to +another. The package also enables use of complex expressions as introduced by +the package @code{calc}, together with the ability of defining new commands to +handle complex tests.") + (license license:lppl))) + (define-public bibtool (package (name "bibtool") -- cgit v1.2.3