3 ms·

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 2y ago
  You could probably build a mirror with `wget -r` without writing a crawler.
  • prirai 2y ago
    Exactly!
  • LNSY 2y ago
    nohup wget -r -np https://downloads.tuxfamily.org/openmathdep/ https://downloads.tuxfamily.org/openmathdep/ seems to be working pretty well for me
    • maxk42 2y ago
      Brilliant! This is exactly what I was hoping for: Thank you!