Repo URL unevenly updated

[henridb]

I still have trouble to pinpoint the exact origin of the problem.
I'm building a docker image with lablgtk on it, ant I have the following error:

opam install lablgtk
The following actions will be performed:
  - install lablgtk 2.18.5

=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[ERROR] curl: code 404 while downloading
        https://forge.ocamlcore.org/frs/download.php/1627/lablgtk-2.18.5.tar.gz

Indeed, the URL reached seem to be the wrong one. As far as I know, it should be https://download.ocamlcore.org/lablgtk/Lablgtk3/3.0.beta3/lablgtk-3.0.beta3.tar.gz.
The problem is occurring a second time on https://garrigue.github.io/lablgtk/, where the last link of the section Downloads is broken.
On my host machine though, I have no problem installing lablgtk with opam
I tried installing it manually, but then opam does not recognize it, and the programs depending on lablgtk won't work.
Any help will be greatly appreciated !

[garrigue]

Apparently ocamlcore.org eventually went down, after staying in a semi-life for many years...

You can find all recent versions of lablgtk on the github page, and older ones can also be accessed through the project interface.
I'll try to update the links someday, but I'm curious which version of ocaml you are using to need such an old version of lablgtk .

[garrigue]

Actually, the forge still works. But the link has changed. Need to do a pull request on opam.

[henridb]

My image is on the following versions :

opam@98c01ab8b424:~$ lsb_release -a
No LSB modules are available.
Distributor ID:	Ubuntu
Description:	Ubuntu 16.04.3 LTS
Release:	16.04
Codename:	xenial
opam@98c01ab8b424:~$ ocaml -version
The OCaml toplevel, version 4.02.3
opam@98c01ab8b424:~$ opam --version
1.2.2

I was working with an old version of coqide.
I updated the Ubuntu version and it works fine now.
But indeed, fur future proofing, it would be great that these old version's links stay up to date, although I understand how hard it is.
Thanks anyway !