From f2179ba604a4d3b87de8ed9f35dbcdc937a84b9e Mon Sep 17 00:00:00 2001 From: Nicolas Goaziou Date: Thu, 20 Jul 2023 10:51:49 +0200 Subject: gnu: Add texlive-gfnotation. * gnu/packages/tex.scm (texlive-gfnotation): New variable. --- gnu/packages/tex.scm | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) 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") -- cgit v1.2.3