Email Gateway (Aug 22 2022 at 11:43): Email Gateway (Aug 22 2022 at 11:43):From: Corey Richardson <corey@octayn.net>
Are there instructions for mirroring Isabelle? The Clarkson University Open Source Institute would like to
mirror Isabelle on http://mirror.clarkson.edu/. It would be ideal if rsync can be used for the sync, but http/ftp
is also fine.
Email Gateway (Aug 22 2022 at 11:43):From: Makarius <makarius@sketis.net>
Mirroring Isabelle does not happen so often that we have written
instructions.
A mirror site needs to provide about 2-3 GB disk space (per Isabelle
release) and needs to be reasonably reliable.
Yes, we do provide rsync service.
The rest can be sorted out by private mail. Are you yourself going to be
the responsible administrator for the mirror?
Makarius
Email Gateway (Aug 22 2022 at 11:46):From: Makarius <makarius@sketis.net>
For completeness, this is the public announcement that the mirror is
already active for several days:
http://mirror.clarkson.edu/isabelle
All mirror sites provide the list of mirrors in the corner labeled "Site
Mirrors".
Makarius
Last updated: Nov 21 2024 at 12:39 UTC