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.
../ README 31-Oct-2026 23:09 29 _star_example.fig 31-Oct-2026 23:09 22655 crease.fig 31-Oct-2026 23:09 168 equals_to.fig 31-Oct-2026 23:09 416 finger.fig 31-Oct-2026 23:09 205 fold_arrow1.fig 31-Oct-2026 23:09 184 fold_arrow2.fig 31-Oct-2026 23:09 203 fold_arrow3.fig 31-Oct-2026 23:09 297 fold_arrow4.fig 31-Oct-2026 23:09 182 fold_arrow5.fig 31-Oct-2026 23:09 200 fold_arrow6.fig 31-Oct-2026 23:09 303 fold_unfold.fig 31-Oct-2026 23:09 231 hold.fig 31-Oct-2026 23:09 157 jagged.fig 31-Oct-2026 23:09 365 label_and_text.fig 31-Oct-2026 23:09 439 line.fig 31-Oct-2026 23:09 174 mountain.fig 31-Oct-2026 23:09 137 paper.fig 31-Oct-2026 23:09 294 pinch.fig 31-Oct-2026 23:09 446 pullout.fig 31-Oct-2026 23:09 206 repeat_1.fig 31-Oct-2026 23:09 217 repeat_2.fig 31-Oct-2026 23:09 282 repeat_3.fig 31-Oct-2026 23:09 343 roll.fig 31-Oct-2026 23:09 311 sink.fig 31-Oct-2026 23:09 150 steps.fig 31-Oct-2026 23:09 293 tuck.fig 31-Oct-2026 23:09 159 turn_over.fig 31-Oct-2026 23:09 223 valley.fig 31-Oct-2026 23:09 135 xray.fig 31-Oct-2026 23:09 134 zigzag.fig 31-Oct-2026 23:09 188 zoom_in.fig 31-Oct-2026 23:09 397 zoom_out.fig 31-Oct-2026 23:09 370
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.