From ada68f0d6ffb127a31dc5ea4fa3312b235d53e47 Mon Sep 17 00:00:00 2001 From: Nicolas Goaziou Date: Mon, 21 Aug 2023 11:56:36 +0200 Subject: [PATCH] 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 @@ (define-public texlive-cmathbb 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")