me
/
guix
Archived
1
0
Fork 0

gnu: Add texlive-begriff.

* gnu/packages/tex.scm (texlive-begriff): New variable.
Nicolas Goaziou 2023-07-30 13:04:34 +02:00
parent f9dc8c9067
commit 3563aadb5b
No known key found for this signature in database
GPG Key ID: DA00B4F048E92F2D
1 changed files with 18 additions and 0 deletions

View File

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