On: Open Mathematics Depository

[maxk42]

I wonder if someone could crawl this and provide an archive? I'd love to get the whole set and I'm sure there are others who would also.

[nequo → maxk42]

You could probably build a mirror with `wget -r` without writing a crawler.

[LNSY → nequo]

nohup wget -r -np https://downloads.tuxfamily.org/openmathdep/

seems to be working pretty well for me

[maxk42 → LNSY]

Brilliant! This is exactly what I was hoping for: Thank you!

[prirai → nequo]

Exactly!