Stream: Coq devs & plugin devs

Topic: Platform file hosting


view this post on Zulip Michael Soegtrop (Nov 21 2022 at 09:52):

Btw.: afair the largest issues in terms of download stability came from source repos, e.g. the gitlab from MPI-SWS hosting IRIS and also the INRIA one was not entirely stable. But it was not that bad that I bothered to create statistics. 2 years back it was overall much worse.

view this post on Zulip Karl Palmskog (Nov 21 2022 at 09:54):

this might be an option in the future: https://hannes.robur.coop/Posts/OpamMirror

view this post on Zulip Karl Palmskog (Nov 21 2022 at 09:55):

(at least I would prefer predictable hosting of the crucial source archives)

view this post on Zulip Michael Soegtrop (Nov 21 2022 at 09:56):

Nice! Does it also mirror the coq repos? All issues I had came from coq opam packages (afair).

view this post on Zulip Karl Palmskog (Nov 21 2022 at 09:59):

I think the mirroring includes Git repositories, if that's what the underlying packages in an opam repo use. Is that what you mean?

view this post on Zulip Karl Palmskog (Nov 21 2022 at 10:01):

there is some "dump git" code here, so Git support seems plausible: https://git.robur.io/robur/opam-mirror/src/branch/main/mirage/unikernel.ml#L736

view this post on Zulip Michael Soegtrop (Nov 21 2022 at 10:06):

My question was if they mirror just the Ocaml opam repo + referenced tar balls (which I expect) or also the two coq opam repos (released and extra-dev) + referenced tar balls.

view this post on Zulip Karl Palmskog (Nov 21 2022 at 10:08):

I mean, the current deployment mentioned in the blog post only mirrors the general OCaml opam repo. But the software they use/develop can support any opam repo, like released and extra-dev. This is my understanding, at least.

view this post on Zulip Théo Zimmermann (Nov 21 2022 at 10:25):

That's cool! BTW, another path forward would be to rely on Software Heritage for archiving tarballs. IIRC this has already been implemented for Guix and is a WIP for Nix. Doing the same for opam would seem natural.

view this post on Zulip Michael Soegtrop (Nov 21 2022 at 10:30):

@Karl Palmskog : It just means that we need servers to host this.

view this post on Zulip Karl Palmskog (Nov 21 2022 at 10:35):

the ideal is probably to combine the mirroring with hosting on Software Heritage, e.g., we just host the opam repo metadata, which points all packages to SH-hosted tarballs

view this post on Zulip Michael Soegtrop (Nov 21 2022 at 10:41):

Yes, this would make sense. Still I want to repeat that the reliability seen last year doesn't call for action.


Last updated: Feb 01 2023 at 16:03 UTC