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.
../ makeindex.test 10-Nov-2024 00:42 941 nest.test 10-Nov-2024 00:42 706 nested-range-bb.idx 24-Sep-2011 16:02 225 nested-range-bb.tex 24-Sep-2011 16:02 2251 nested-range-test.pl 30-Sep-2011 08:41 876 nested-range.idx 24-Sep-2011 16:02 84 nested-range.tex 24-Sep-2011 16:02 564 nested3.idx 10-Nov-2024 00:42 404 nested3.ind 10-Nov-2024 00:42 575 nested3.ist 10-Nov-2024 00:42 232 ok-tort.ind 10-Nov-2024 00:42 424 pprec.test 10-Nov-2024 00:42 2186 pprec0.ist 19-Sep-2021 08:43 182 pprec1.ist 19-Sep-2021 08:43 179 pprec2.ist 19-Sep-2021 08:43 179 pprec3.ist 19-Sep-2021 08:43 179 pprec4.ist 19-Sep-2021 08:43 179 pprec5.ist 22-May-2022 12:54 40 pprec6.ist 22-May-2022 12:54 36 pprec7.ist 22-May-2022 12:54 36 pprecA-0.ind 19-Sep-2021 08:43 96 pprecA-1.ind 19-Sep-2021 08:43 96 pprecA-2.ind 19-Sep-2021 08:43 96 pprecA.idx 19-Sep-2021 08:43 213 pprecB-0.ind 22-May-2022 12:54 96 pprecB-3.ind 19-Sep-2021 08:43 96 pprecB-4.ind 19-Sep-2021 08:43 96 pprecB.idx 19-Sep-2021 08:43 207 range.idx 19-Sep-2021 08:43 3278 range1.ind 19-Sep-2021 08:43 1077 range1.ist 19-Sep-2021 08:43 70 range2.ind 19-Sep-2021 08:43 1169 range2.ist 19-Sep-2021 08:43 92 range3.ind 19-Sep-2021 08:43 1077 range3.ist 19-Sep-2021 08:43 93 rangeA1.ind 22-May-2022 12:54 82 rangeA2.ind 22-May-2022 12:54 82 rangeA3.ind 22-May-2022 12:54 82 romalpA-5.ind 22-May-2022 12:54 85 romalpA-6.ind 22-May-2022 12:54 85 romalpA.idx 22-May-2022 12:54 164 romalpB-5.ind 22-May-2022 12:54 786 romalpB-6.ind 22-May-2022 12:54 786 romalpB-7.ind 22-May-2022 12:54 786 romalpB.idx 22-May-2022 12:54 1628 romalpC-5.ind 22-May-2022 12:54 942 romalpC.idx 22-May-2022 12:54 2104 romalpD-5.ind 22-May-2022 12:54 170 romalpD-6.ind 22-May-2022 12:54 170 romalpD-7.ind 22-May-2022 12:54 170 romalpD.idx 22-May-2022 12:54 681 sample.idx 27-Jul-2012 07:27 459 sample.ind 27-Jul-2012 07:27 268 toodeep.idx 10-Nov-2024 00:42 138 tort.idx 10-Nov-2024 00:42 1085 tortW.idx 10-Nov-2024 00:42 915
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.