33/93: gnu: Add texlive-gfnotation.

[guix-commits]

ngz pushed a commit to branch master
in repository guix.

commit f2179ba604a4d3b87de8ed9f35dbcdc937a84b9e
Author: Nicolas Goaziou <mail@nicolasgoaziou.fr>
AuthorDate: Thu Jul 20 10:51:49 2023 +0200

    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")