fetchurl: add TeX historic archive mirrors

2026-05-09 20:06:06 +01:00
parent 4b2287113c
commit 77456b8349
1 changed files with 11 additions and 0 deletions
@@ -332,6 +332,17 @@
    "https://test.pypi.io/packages/source/"
  ];

+  # TeX historic archive (see https://tug.org/historic/)
+  texhistoric = [
+    "https://ftp.math.utah.edu/pub/tex/historic/"
+    "https://texlive.info/historic/"
+    "https://ftp.tu-chemnitz.de/pub/tug/historic/"
+    "https://pi.kwarc.info/historic/"
+    "https://mirrors.tuna.tsinghua.edu.cn/tex-historic-archive/"
+    "https://mirror.nju.edu.cn/tex-historic/"
+    "ftp://tug.org/texlive/historic/"
+  ];
+
  ### Linux distros

  # CentOS