Source URL for ocamlfind.1.9.5 is unreachable (camlcity.org down)

[Justme0606]

Hello,

The source URL for ocamlfind.1.9.5 appears to be unreachable, http://download.camlcity.org/download/findlib-1.9.5.tar.gz
This breaks automated builds and installations relying on this version, including in the Coq Platform CI: https://github.com/rocq-prover/platform/actions/runs/15221753596/job/42818412453#step:7:770

I’m not sure if this is something that can be done on your side, but would it be possible to create a mirror of this archive, or to update the opam file to use a different source ? Or should we simply wait for the URL to become available again ?

Best Regards,

[shonfeder]

IIUC, @gerdstolpmann may be the one with keys to camlcity. (Thanks @jmid!)

[michael-schwarz]

http://download2.camlcity.org/download/findlib-1.9.5.tar.gz seems to work, in case someone urgently needs this version of ocamlfind.

[shonfeder]

IIUC, this is really a duplicate of #98