Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Mirroring Isabelle


view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip 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: Mar 29 2024 at 12:28 UTC