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-Jan-2026 21:30 2933 bidi-symbols.tex 08-Jan-2026 21:30 878 demo-symbols.mp 08-Jan-2026 21:30 680 demo-symbols.tex 08-Jan-2026 21:30 774 metafun.mp 08-Jan-2026 21:30 119 metafun.mpii 08-Jan-2026 21:30 2213 metafun.mpiv 08-Jan-2026 21:30 1528 metafun.mpxl 08-Jan-2026 21:30 1913 minifun.mpiv 08-Jan-2026 21:30 1151 minifun.mpxl 08-Jan-2026 21:30 1366 mp-abck.mpiv 08-Jan-2026 21:30 9721 mp-abck.mpxl 08-Jan-2026 21:30 11254 mp-apos.mpiv 08-Jan-2026 21:30 3492 mp-apos.mpxl 08-Jan-2026 21:30 16273 mp-asnc.mpiv 08-Jan-2026 21:30 3352 mp-asnc.mpxl 08-Jan-2026 21:30 5942 mp-back.mp 08-Jan-2026 21:30 75 mp-back.mpii 08-Jan-2026 21:30 6936 mp-back.mpiv 08-Jan-2026 21:30 7339 mp-bare.mpiv 08-Jan-2026 21:30 2853 mp-base.mpii 08-Jan-2026 21:30 16920 mp-base.mpiv 08-Jan-2026 21:30 21827 mp-base.mpxl 08-Jan-2026 21:30 27219 mp-blob.mpiv 08-Jan-2026 21:30 4126 mp-blob.mpxl 08-Jan-2026 21:30 4280 mp-butt.mpii 08-Jan-2026 21:30 2364 mp-butt.mpiv 08-Jan-2026 21:30 2372 mp-butt.mpxl 08-Jan-2026 21:30 2437 mp-char.mpii 08-Jan-2026 21:30 28799 mp-char.mpiv 08-Jan-2026 21:30 45739 mp-chem.mpiv 08-Jan-2026 21:30 62779 mp-cont.mpiv 08-Jan-2026 21:30 10291 mp-cont.mpxl 08-Jan-2026 21:30 24303 mp-core.mpii 08-Jan-2026 21:30 46391 mp-cows.mpiv 08-Jan-2026 21:30 13484 mp-crop.mpiv 08-Jan-2026 21:30 7497 mp-figs.mpii 08-Jan-2026 21:30 1235 mp-figs.mpiv 08-Jan-2026 21:30 1243 mp-figs.mpxl 08-Jan-2026 21:30 1308 mp-fobg.mp 08-Jan-2026 21:30 75 mp-fobg.mpii 08-Jan-2026 21:30 2891 mp-fobg.mpiv 08-Jan-2026 21:30 2891 mp-form.mpii 08-Jan-2026 21:30 10691 mp-form.mpiv 08-Jan-2026 21:30 1017 mp-form.mpxl 08-Jan-2026 21:30 1044 mp-func.mpii 08-Jan-2026 21:30 1649 mp-func.mpiv 08-Jan-2026 21:30 2822 mp-func.mpxl 08-Jan-2026 21:30 2887 mp-grap.mpiv 08-Jan-2026 21:30 60797 mp-grid.mpii 08-Jan-2026 21:30 4687 mp-grid.mpiv 08-Jan-2026 21:30 4301 mp-grid.mpxl 08-Jan-2026 21:30 4812 mp-grph.mpii 08-Jan-2026 21:30 8977 mp-grph.mpiv 08-Jan-2026 21:30 6217 mp-grph.mpxl 08-Jan-2026 21:30 6389 mp-lmtx.mpxl 08-Jan-2026 21:30 122058 mp-luas.mpiv 08-Jan-2026 21:30 6824 mp-luas.mpxl 08-Jan-2026 21:30 22279 mp-math.mpxl 08-Jan-2026 21:30 17371 mp-misc.mpxl 08-Jan-2026 21:30 3098 mp-miss.mpxl 08-Jan-2026 21:30 2506 mp-mlib.mpiv 08-Jan-2026 21:30 57870 mp-mlib.mpxl 08-Jan-2026 21:30 68781 mp-node.mpiv 08-Jan-2026 21:30 7912 mp-node.mpxl 08-Jan-2026 21:30 8144 mp-page.mpii 08-Jan-2026 21:30 21730 mp-page.mpiv 08-Jan-2026 21:30 19930 mp-page.mpxl 08-Jan-2026 21:30 12949 mp-remapped-boxes.mp 08-Jan-2026 21:30 82 mp-remapped-hatching.mp 08-Jan-2026 21:30 451 mp-shap.mpii 08-Jan-2026 21:30 9595 mp-shap.mpiv 08-Jan-2026 21:30 10464 mp-shap.mpxl 08-Jan-2026 21:30 10529 mp-spec.mpii 08-Jan-2026 21:30 27489 mp-step.mpii 08-Jan-2026 21:30 11387 mp-step.mpiv 08-Jan-2026 21:30 23099 mp-symb.mp 08-Jan-2026 21:30 76 mp-symb.mpii 08-Jan-2026 21:30 6532 mp-symb.mpiv 08-Jan-2026 21:30 6532 mp-text.mpii 08-Jan-2026 21:30 8052 mp-text.mpiv 08-Jan-2026 21:30 5013 mp-text.mpxl 08-Jan-2026 21:30 7135 mp-tool.mpii 08-Jan-2026 21:30 88095 mp-tool.mpiv 08-Jan-2026 21:30 115228 mp-tool.mpxl 08-Jan-2026 21:30 156792 mp-tres.mpiv 08-Jan-2026 21:30 6498 mp-txts.mpii 08-Jan-2026 21:30 1446 mp-xbox.mpiv 08-Jan-2026 21:30 10031 mp-xbox.mpxl 08-Jan-2026 21:30 10116 punkfont-bold.mp 08-Jan-2026 21:30 108 punkfont-boldslanted.mp 08-Jan-2026 21:30 160 punkfont-characters.mp 08-Jan-2026 21:30 23092 punkfont-definitions.mp 08-Jan-2026 21:30 3465 punkfont-slanted.mp 08-Jan-2026 21:30 114 punkfont.mp 08-Jan-2026 21:30 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.