ngz pushed a commit to branch master
in repository guix.
commit 3563aadb5beeefb9a0f29e01dadedffd4d5c4c25
Author: Nicolas Goaziou <[email protected]>
AuthorDate: Sun Jul 30 13:04:34 2023 +0200
gnu: Add texlive-begriff.
* gnu/packages/tex.scm (texlive-begriff): New variable.
---
gnu/packages/tex.scm | 18 ++++++++++++++++++
1 file changed, 18 insertions(+)
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")
