The hardware and bandwidth for this mirror is donated by METANET, the Webhosting and Full Service-Cloud Provider.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]metanet.ch.
../ Makefile 12-Apr-2026 23:02 11933 albatross.ninja 12-Apr-2026 23:02 555 albatross.tex 12-Apr-2026 23:02 3156 build.ninja 12-Apr-2026 23:02 425 clsl.ninja 12-Apr-2026 23:02 12533 common-deps.ninja 12-Apr-2026 23:02 893 fake-sty.ninja 12-Apr-2026 23:02 7824 fakeallrunes.sty 12-Apr-2026 23:02 4692 fakearcs.sty 12-Apr-2026 23:02 3208 fakearevmath.sty 12-Apr-2026 23:02 1869 fakedozenal.sty 12-Apr-2026 23:02 930 fakego.sty 12-Apr-2026 23:02 2434 fakelatexsym.sty 12-Apr-2026 23:02 1161 fakemathdesign.sty 12-Apr-2026 23:02 3212 fakemusixtex.sty 12-Apr-2026 23:02 5379 fakeold-arrows.sty 12-Apr-2026 23:02 3132 fast-symbols-index.ninja 12-Apr-2026 23:02 3630 fast-symbols.ninja 12-Apr-2026 23:02 926 generate-symlist 12-Apr-2026 23:02 4319 lightbulb.eps 05-May-2021 22:10 3673 lightbulb.map 05-May-2021 22:10 41 lightbulb.mf 12-Apr-2026 23:02 1776 lightbulb.ninja 12-Apr-2026 23:02 1456 lightbulb10.mf 12-Apr-2026 23:02 530 lightbulb10.pfb 05-May-2021 22:10 2806 makeREADME 12-Apr-2026 23:02 7640 makefakeMnSymbol 12-Apr-2026 23:02 8061 makefakeasapsym 12-Apr-2026 23:02 6647 makefakeboisik 12-Apr-2026 23:02 2855 makefakecmupint 12-Apr-2026 23:02 1642 makefakefdsymbol 12-Apr-2026 23:02 8377 makefakefigchild 12-Apr-2026 23:02 6042 makefakejunicode 12-Apr-2026 23:02 2641 makefakelilyglyphs 12-Apr-2026 23:02 4248 makefakelualatex 12-Apr-2026 23:02 8361 makefakelucide 12-Apr-2026 23:02 4306 makefakenewcm 12-Apr-2026 23:02 13053 makefakepgfornament 12-Apr-2026 23:02 6141 makefakestarfont 12-Apr-2026 23:02 911 makefakestix 12-Apr-2026 23:02 13955 makefaketwemojis 12-Apr-2026 23:02 3946 makefakeutfsym 12-Apr-2026 23:02 5194 makefakevscodeicons 12-Apr-2026 23:02 5154 makefakeworldflags 12-Apr-2026 23:02 5277 makenonlatex 12-Apr-2026 23:02 5636 makerawtables 12-Apr-2026 23:02 25901 maketitlepage 12-Apr-2026 23:02 11559 patch-idx 12-Apr-2026 23:02 5555 prune-idx 12-Apr-2026 23:02 65585 prune-idx-accents.toml 12-Apr-2026 23:02 16413 prune-idx-arrows.toml 12-Apr-2026 23:02 12172 prune-idx-brands.toml 12-Apr-2026 23:02 6843 prune-idx-circles.toml 12-Apr-2026 23:02 5125 prune-idx-cup-cap.toml 12-Apr-2026 23:02 3680 prune-idx-delete.toml 12-Apr-2026 23:02 20403 prune-idx-equals.toml 12-Apr-2026 23:02 4811 prune-idx-flags.toml 12-Apr-2026 23:02 21329 prune-idx-hands.toml 12-Apr-2026 23:02 5640 prune-idx-harpoons.toml 12-Apr-2026 23:02 4403 prune-idx-ineqs.toml 12-Apr-2026 23:02 9372 prune-idx-integrals.toml 12-Apr-2026 23:02 3928 prune-idx-keys.toml 12-Apr-2026 23:02 5825 prune-idx-letters.toml 12-Apr-2026 23:02 14228 prune-idx-math-maps.toml 12-Apr-2026 23:02 2762 prune-idx-merge.toml 12-Apr-2026 23:02 82048 prune-idx-music.toml 12-Apr-2026 23:02 6653 prune-idx-prec-succ.toml 12-Apr-2026 23:02 2816 prune-idx-rewrite.toml 12-Apr-2026 23:02 159581 prune-idx-rhombuses.toml 12-Apr-2026 23:02 6196 prune-idx-see.toml 12-Apr-2026 23:02 63025 prune-idx-sets.toml 12-Apr-2026 23:02 6826 prune-idx-similar.toml 12-Apr-2026 23:02 2036 prune-idx-squares.toml 12-Apr-2026 23:02 7888 prune-idx-stars.toml 12-Apr-2026 23:02 5007 prune-idx-triangles.toml 12-Apr-2026 23:02 4805 prune-idx-turnstiles.toml 12-Apr-2026 23:02 12875 prune-idx-wedges-vees.toml 12-Apr-2026 23:02 3738 rawtables.lua 12-Apr-2026 23:02 14243 rawtables.ninja 12-Apr-2026 23:02 2075 renamed-overarrows.sty 12-Apr-2026 23:02 3677 sorting.lua 12-Apr-2026 23:02 1853 sym-addl.tex 12-Apr-2026 23:02 167689 sym-body.tex 12-Apr-2026 23:02 58659 sym-ding.tex 12-Apr-2026 23:02 97400 sym-game.tex 12-Apr-2026 23:02 40729 sym-geog.tex 12-Apr-2026 23:02 30729 sym-intro.tex 12-Apr-2026 23:02 7391 sym-lang.tex 12-Apr-2026 23:02 61265 sym-logos.tex 12-Apr-2026 23:02 179384 sym-math.tex 12-Apr-2026 23:02 466103 sym-minsup.tex 12-Apr-2026 23:02 56849 sym-music.tex 12-Apr-2026 23:02 49016 sym-other.tex 12-Apr-2026 23:02 338583 sym-sci.tex 12-Apr-2026 23:02 186991 symbols.ist 12-Apr-2026 23:02 836 symbols.tex 12-Apr-2026 23:02 191728 teubner-subset.sty 12-Apr-2026 23:02 4126 text-files.ninja 12-Apr-2026 23:02 870 unicode.txt 12-Apr-2026 23:02 1373952 unicode2eps.pe 12-Apr-2026 23:02 468
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.