Take the `mirror` into account in `url` #13

New issue

Closed

opened 2024-10-20 20:28:30 +00:00 by hannes · 1 comment

hannes commented

2024-10-20 20:28:30 +00:00

Owner

From the manual (https://opam.ocaml.org/doc/Manual.html#urlfield-mirrors)

mirrors: [ <string> ... ]: an optional list of mirrors. They must use the same protocol as the main URL.

This is inside the url section:

url {
  src: URL
  checksum: ...
  mirrors: ...
}

I guess there are multiple ways to use mirrors -- but maybe the strategy to add these to the things to query would be good enough? Since at some point (when storing) we're uniquifying against the sha256 anyways.

From the manual (https://opam.ocaml.org/doc/Manual.html#urlfield-mirrors) `mirrors: [ <string> ... ]: an optional list of mirrors. They must use the same protocol as the main URL.` This is inside the `url` section: ``` url { src: URL checksum: ... mirrors: ... } ``` I guess there are multiple ways to use mirrors -- but maybe the strategy to add these to the things to query would be good enough? Since at some point (when storing) we're uniquifying against the sha256 anyways.