diff options
| author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-20 10:51:49 +0200 |
|---|---|---|
| committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-20 11:17:30 +0200 |
| commit | f2179ba604a4d3b87de8ed9f35dbcdc937a84b9e (patch) | |
| tree | df8c2658f4d2f5cf651b1368daea607e78edab83 /gnu | |
| parent | fcc06aec35a081ee32e80a777b6f3bc9f90f4cc7 (diff) | |
| download | guix-f2179ba604a4d3b87de8ed9f35dbcdc937a84b9e.tar.gz guix-f2179ba604a4d3b87de8ed9f35dbcdc937a84b9e.zip | |
gnu: Add texlive-gfnotation.
* gnu/packages/tex.scm (texlive-gfnotation): New variable.
Diffstat (limited to 'gnu')
| -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 8a19c6d141..f76e96c82a 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -2760,6 +2760,27 @@ from a dictionary, which includes options which themselves have arguments. The package was designed for use with Plain TeX.") (license license:cecill-b))) +(define-public texlive-gfnotation + (package + (name "texlive-gfnotation") + (version (number->string %texlive-revision)) + (source (texlive-origin + name version + (list "doc/plain/gfnotation/" + "tex/plain/gfnotation/") + (base32 + "18yl6qhwd3fk6fyi6plj0bcb6iwzr4yx9aqmhs77rs5k4j2rgxsf"))) + (outputs '("out" "doc")) + (build-system texlive-build-system) + (home-page "https://ctan.org/pkg/gfnotation") + (synopsis "Typeset Gottlob Frege's notation in plain TeX") + (description + "The package implements macros for plain TeX to typeset the notation +invented by Gottlob Frege in 1879 for his books @emph{Begriffsschrift} and +@emph{Grundgesetze der Arithmetik} (two volumes). The output styles of both +books are supported.") + (license license:gpl3))) + (define-public texlive-tex (package (name "texlive-tex") |