···

       
9
       
 
       
}:

     

       
10
       
 
       
rec {

     

       
11
       
 
       
  extraFontsSrc = fetchurl {

     

       
12
       
-
       
    url = "ftp://ftp.texmacs.org/pub/TeXmacs/fonts/TeXmacs-extra-fonts-1.0-noarch.tar.gz";

     

       
13
       
-
       
    sha256 = "0hylgjmd95y9yahbblmawkkw0i71vb145xxv2xqrmff81301n6k7";

     

       
14
       
 
       
  };

     

       
15
       
 
       


     

       
16
       
 
       
  fullFontsSrc = fetchurl {

     

       
17
       
-
       
    url = "ftp://ftp.texmacs.org/pub/TeXmacs/fonts/TeXmacs-windows-fonts-1.0-noarch.tar.gz";

     

       
18
       
-
       
    sha256 = "1yxzjpqpm7kvx0ly5jmfpzlfhsh41b0ibn1v84qv6xy73r2vis2f";

     

       
19
       
 
       
  };

     

       
20
       
 
       


     

       
21
       
 
       
  chineseFontsSrc = fetchurl {

     

       
22
       
-
       
    url = "ftp://ftp.texmacs.org/pub/TeXmacs/fonts/TeXmacs-chinese-fonts.tar.gz";

     

       
23
       
-
       
    sha256 = "0yprqjsx5mfsaxr525mcm3xqwcadzxp14njm38ir1325baada2fp";

     

       
24
       
 
       
  };

     

       
25
       
 
       


     

       
26
       
 
       
  japaneseFontsSrc = fetchurl {

     

       
27
       
-
       
    url = "ftp://ftp.texmacs.org/pub/TeXmacs/fonts/TeXmacs-japanese-fonts.tar.gz";

     

       
28
       
-
       
    sha256 = "1dn6zvsa7gk59d61xicwpbapab3rm6kz48rp5w1bhmihxixw21jn";

     

       
29
       
 
       
  };

     

       
30
       
 
       


     

       
31
       
 
       
  koreanFontsSrc = fetchurl {

     

       
32
       
-
       
    url = "ftp://ftp.texmacs.org/pub/TeXmacs/fonts/TeXmacs-korean-fonts.tar.gz";

     

       
33
       
-
       
    sha256 = "07axg57mqm3jbnm4lawx0h3r2h56xv9acwzjppryfklw4c27f5hh";

     

       
34
       
 
       
  };

     

       
35
       
 
       


     

       
36
       
 
       
  postPatch =

     

···

       
9
       
 
       
}:

     

       
10
       
 
       
rec {

     

       
11
       
 
       
  extraFontsSrc = fetchurl {

     

       
12
       
+
       
    url = "https://www.texmacs.org/Download/ftp/fonts/TeXmacs-extra-fonts-1.0-noarch.tar.gz";

     

       
13
       
+
       
    sha256 = "sha256-ZxobwAjIuZpxF7v3QsLa4UTA5+Sq0rWg8smX1Kp81EM=";

     

       
14
       
 
       
  };

     

       
15
       
 
       


     

       
16
       
 
       
  fullFontsSrc = fetchurl {

     

       
17
       
+
       
    url = "https://www.texmacs.org/Download/ftp/fonts/TeXmacs-windows-fonts-1.0-noarch.tar.gz";

     

       
18
       
+
       
    sha256 = "sha256-Tui4RR7Hd7MxQTvYFcEKBGro6L+uyuIp6HueevGVv/s=";

     

       
19
       
 
       
  };

     

       
20
       
 
       


     

       
21
       
 
       
  chineseFontsSrc = fetchurl {

     

       
22
       
+
       
    url = "https://www.texmacs.org/Download/ftp/fonts/TeXmacs-chinese-fonts.tar.gz";

     

       
23
       
+
       
    sha256 = "sha256-1wnVlFpFjJAjGlVaEm7/TTGO+6isFlFyV9rV0rXE+Xo=";

     

       
24
       
 
       
  };

     

       
25
       
 
       


     

       
26
       
 
       
  japaneseFontsSrc = fetchurl {

     

       
27
       
+
       
    url = "https://www.texmacs.org/Download/ftp/fonts/TeXmacs-japanese-fonts.tar.gz";

     

       
28
       
+
       
    sha256 = "sha256-VgbBe+wwVrgCLzcj8qepeSx11bqcxR5MS2W+o/T+xrY=";

     

       
29
       
 
       
  };

     

       
30
       
 
       


     

       
31
       
 
       
  koreanFontsSrc = fetchurl {

     

       
32
       
+
       
    url = "https://www.texmacs.org/Download/ftp/fonts/TeXmacs-korean-fonts.tar.gz";

     

       
33
       
+
       
    sha256 = "sha256-EBZ3BCOcTufzvfJzptLupkCRBwSdK0qqXXJUXE95XR0=";

     

       
34
       
 
       
  };

     

       
35
       
 
       


     

       
36
       
 
       
  postPatch =