63/306: gnu: Add texlive-cmll.

[guix-commits]

ngz pushed a commit to branch master
in repository guix.

commit ada68f0d6ffb127a31dc5ea4fa3312b235d53e47
Author: Nicolas Goaziou <mail@nicolasgoaziou.fr>
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")