The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
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[@]dogado.de.
../ bidi-symbols.mp 08-Jul-2025 14:48 2933 bidi-symbols.tex 08-Jul-2025 14:48 878 demo-symbols.mp 08-Jul-2025 14:48 680 demo-symbols.tex 08-Jul-2025 14:48 774 metafun.mp 08-Jul-2025 14:48 119 metafun.mpii 08-Jul-2025 14:48 2213 metafun.mpiv 08-Jul-2025 14:48 1528 metafun.mpxl 08-Jul-2025 14:48 1913 minifun.mpiv 08-Jul-2025 14:48 1151 minifun.mpxl 08-Jul-2025 14:48 1366 mp-abck.mpiv 08-Jul-2025 14:48 9721 mp-abck.mpxl 08-Jul-2025 14:48 11254 mp-apos.mpiv 08-Jul-2025 14:48 3492 mp-apos.mpxl 08-Jul-2025 14:48 16273 mp-asnc.mpiv 08-Jul-2025 14:48 3352 mp-asnc.mpxl 08-Jul-2025 14:48 5942 mp-back.mp 08-Jul-2025 14:48 75 mp-back.mpii 08-Jul-2025 14:48 6936 mp-back.mpiv 08-Jul-2025 14:48 7339 mp-bare.mpiv 08-Jul-2025 14:48 2853 mp-base.mpii 08-Jul-2025 14:48 16920 mp-base.mpiv 08-Jul-2025 14:48 21827 mp-base.mpxl 08-Jul-2025 14:48 26258 mp-blob.mpiv 08-Jul-2025 14:48 4126 mp-blob.mpxl 08-Jul-2025 14:48 4280 mp-butt.mpii 08-Jul-2025 14:48 2364 mp-butt.mpiv 08-Jul-2025 14:48 2372 mp-butt.mpxl 08-Jul-2025 14:48 2437 mp-char.mpii 08-Jul-2025 14:48 28799 mp-char.mpiv 08-Jul-2025 14:48 45739 mp-chem.mpiv 08-Jul-2025 14:48 62102 mp-cont.mpiv 08-Jul-2025 14:48 10291 mp-cont.mpxl 08-Jul-2025 14:48 24303 mp-core.mpii 08-Jul-2025 14:48 46391 mp-cows.mpiv 08-Jul-2025 14:48 13484 mp-crop.mpiv 08-Jul-2025 14:48 7497 mp-figs.mpii 08-Jul-2025 14:48 1235 mp-figs.mpiv 08-Jul-2025 14:48 1243 mp-figs.mpxl 08-Jul-2025 14:48 1308 mp-fobg.mp 08-Jul-2025 14:48 75 mp-fobg.mpii 08-Jul-2025 14:48 2891 mp-fobg.mpiv 08-Jul-2025 14:48 2891 mp-form.mpii 08-Jul-2025 14:48 10691 mp-form.mpiv 08-Jul-2025 14:48 1017 mp-form.mpxl 08-Jul-2025 14:48 1044 mp-func.mpii 08-Jul-2025 14:48 1649 mp-func.mpiv 08-Jul-2025 14:48 2822 mp-func.mpxl 08-Jul-2025 14:48 2887 mp-grap.mpiv 08-Jul-2025 14:48 60797 mp-grid.mpii 08-Jul-2025 14:48 4687 mp-grid.mpiv 08-Jul-2025 14:48 4301 mp-grid.mpxl 08-Jul-2025 14:48 4812 mp-grph.mpii 08-Jul-2025 14:48 8977 mp-grph.mpiv 08-Jul-2025 14:48 6217 mp-grph.mpxl 08-Jul-2025 14:48 6389 mp-lmtx.mpxl 08-Jul-2025 14:48 106319 mp-luas.mpiv 08-Jul-2025 14:48 6824 mp-luas.mpxl 08-Jul-2025 14:48 22090 mp-math.mpxl 08-Jul-2025 14:48 17371 mp-misc.mpxl 08-Jul-2025 14:48 3098 mp-miss.mpxl 08-Jul-2025 14:48 2506 mp-mlib.mpiv 08-Jul-2025 14:48 57870 mp-mlib.mpxl 08-Jul-2025 14:48 68464 mp-node.mpiv 08-Jul-2025 14:48 7912 mp-node.mpxl 08-Jul-2025 14:48 8144 mp-page.mpii 08-Jul-2025 14:48 21730 mp-page.mpiv 08-Jul-2025 14:48 19930 mp-page.mpxl 08-Jul-2025 14:48 12949 mp-remapped-boxes.mp 08-Jul-2025 14:48 82 mp-remapped-hatching.mp 08-Jul-2025 14:48 451 mp-shap.mpii 08-Jul-2025 14:48 9595 mp-shap.mpiv 08-Jul-2025 14:48 10464 mp-shap.mpxl 08-Jul-2025 14:48 10529 mp-spec.mpii 08-Jul-2025 14:48 27489 mp-step.mpii 08-Jul-2025 14:48 11387 mp-step.mpiv 08-Jul-2025 14:48 23099 mp-symb.mp 08-Jul-2025 14:48 76 mp-symb.mpii 08-Jul-2025 14:48 6532 mp-symb.mpiv 08-Jul-2025 14:48 6532 mp-text.mpii 08-Jul-2025 14:48 8052 mp-text.mpiv 08-Jul-2025 14:48 5013 mp-text.mpxl 08-Jul-2025 14:48 7142 mp-tool.mpii 08-Jul-2025 14:48 88095 mp-tool.mpiv 08-Jul-2025 14:48 115228 mp-tool.mpxl 08-Jul-2025 14:48 152490 mp-tres.mpiv 08-Jul-2025 14:48 6498 mp-txts.mpii 08-Jul-2025 14:48 1446 mp-xbox.mpiv 08-Jul-2025 14:48 10031 mp-xbox.mpxl 08-Jul-2025 14:48 10116 punkfont-bold.mp 08-Jul-2025 14:48 108 punkfont-boldslanted.mp 08-Jul-2025 14:48 160 punkfont-characters.mp 08-Jul-2025 14:48 23092 punkfont-definitions.mp 08-Jul-2025 14:48 3465 punkfont-slanted.mp 08-Jul-2025 14:48 114 punkfont.mp 08-Jul-2025 14:48 67
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.
Health stats visible at Monitor.