ngz pushed a commit to branch master
in repository guix.
commit ada68f0d6ffb127a31dc5ea4fa3312b235d53e47
Author: Nicolas Goaziou <[email protected]>
AuthorDate: Mon Aug 21 11:56:36 2023 +0200
gnu: Add texlive-cmll.
* gnu/packages/tex.scm (texlive-cmll): New variable.
---
gnu/packages/tex.scm | 29 +++++++++++++++++++++++++++++
1 file changed, 29 insertions(+)
diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm
index 9cf83ffad1..4482d2cde5 100644
--- a/gnu/packages/tex.scm
+++ b/gnu/packages/tex.scm
@@ -8380,6 +8380,35 @@ and LuaTeX.")
for the Computer Modern font family in blackboard bold.")
(license license:lppl1.3c)))
+(define-public texlive-cmll
+ (package
+ (name "texlive-cmll")
+ (version (number->string %texlive-revision))
+ (source (texlive-origin
+ name version
+ (list "doc/fonts/cmll/"
+ "fonts/map/dvips/cmll/"
+ "fonts/source/public/cmll/"
+ "fonts/tfm/public/cmll/"
+ "fonts/type1/public/cmll/"
+ "source/latex/cmll/"
+ "tex/latex/cmll/")
+ (base32
+ "13q5ar2zaf7h6f2mzgxxqzaraziwl6asicbnyq6anfv2ky38rd72")))
+ (outputs '("out" "doc"))
+ (build-system texlive-build-system)
+ (arguments (list #:tex-format "latex"))
+ (native-inputs (list texlive-euxm texlive-metafont))
+ (home-page "https://ctan.org/pkg/cmll";)
+ (synopsis "Symbols for linear logic")
+ (description
+ "This is a very small font set that contain some symbols useful in linear
+logic, which are apparently not available elsewhere. Variants are included
+for use with Computer Modern serif and sans-serif and with the AMS Euler
+series. The font is provided both as Metafont source, and in Adobe Type
+1 format. LaTeX support is provided.")
+ (license license:lppl)))
+
(define-public texlive-cochineal
(package
(name "texlive-cochineal")
