me
/
guix
Archived
1
0
Fork 0

gnu: Add texlive-logix.

* gnu/packages/tex.scm (texlive-logix): New variable.
Nicolas Goaziou 2023-08-21 12:40:11 +02:00
parent 4db76b5a03
commit 050f05f31c
No known key found for this signature in database
GPG Key ID: DA00B4F048E92F2D
1 changed files with 23 additions and 0 deletions

View File

@ -17025,6 +17025,29 @@ Great Wall of China, Loop the Loop, Rundweg, Gartenzaun, ...),
@end itemize")
(license license:lppl1.3+)))
(define-public texlive-logix
(package
(name "texlive-logix")
(version (number->string %texlive-revision))
(source (texlive-origin
name version
(list "doc/fonts/logix/"
"fonts/opentype/public/logix/"
"fonts/truetype/public/logix/"
"tex/latex/logix/")
(base32
"19ak3zfqnx04rb5wcmzc5z3g8sp2wphi83lx9i58y41y3lp2z4kq")))
(outputs '("out" "doc"))
(build-system texlive-build-system)
(home-page "https://ctan.org/pkg/logix")
(synopsis "Supplement to the Unicode math symbols")
(description
"The package provides a Unicode font with over 4,000 symbols to
supplement the Unicode math symbols. It is compatible with and
complements the AMS STIX2 math fonts, but focuses on new symbols and
symbol variants more suited to work in logic.")
(license (list license:silofl1.1 license:lppl1.3c))))
(define-public texlive-lollipop
(package
(name "texlive-lollipop")