diff options
| author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-30 13:04:34 +0200 |
|---|---|---|
| committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-30 17:12:55 +0200 |
| commit | 3563aadb5beeefb9a0f29e01dadedffd4d5c4c25 (patch) | |
| tree | 1e6c83f9d20160f64ef1145645b08869fc8be5b6 | |
| parent | f9dc8c9067ff4f7fcaf3dc965f943e42d6e3ec4c (diff) | |
gnu: Add texlive-begriff.
* gnu/packages/tex.scm (texlive-begriff): New variable.
| -rw-r--r-- | gnu/packages/tex.scm | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index 0c4a6cc0d1..f4ab883f79 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -1729,6 +1729,24 @@ in-line BNF expressions using math mode.") of mathematical disciplines.") (license license:lppl1.3+))) +(define-public texlive-begriff + (package + (name "texlive-begriff") + (version (number->string %texlive-revision)) + (source (texlive-origin + name version + (list "doc/latex/begriff/" "tex/latex/begriff/") + (base32 + "0vi7i35fqi32y26crk5aj93mivix61ppgmpz0djshizwrd9pn9xy"))) + (outputs '("out" "doc")) + (build-system texlive-build-system) + (home-page "https://ctan.org/pkg/begriff") + (synopsis "Typeset Begriffschrift") + (description + "The package defines maths mode commands for typesetting Frege's +@emph{Begriffschrift}.") + (license license:gpl3+))) + (define-public texlive-bitelist (package (name "texlive-bitelist") |