Website down?

[Sintrastes]

I'm trying to get eta/etlas setup to compile a pretty straightforward cabal project to the jvm using eta on wsl, and it appears certain parts of the eta-lang website nescesary to get etlas to work are down.

Whenever I try to setup the eta-init project using gradle, I get `Execution failed for task ':setupEnvironmentEta'.

Failed to fetch file from url: http://cdnverify.eta-lang.org/eta-binaries/etlas-1.5.0.0/binaries/x86_64-linux/etlas`

Similarly, whenever I try to etlas update, I get: curl: (6) Could not resolve host: metrics.eta-lang.org

[jneira]

I am afraid that it is down since some time ago see: typelead/etlas#109

[csaltos]

The same here, cdnverify.eta-lang.org refers to etabinaries.azureedge.net but it does not exists and sadly fails

[FinnT730]

Sad to hear.
It is also sad that it is not on Archive.org or something
and I am not sure how to build it myself, so I don;t even know if I can use it or not.
And if I can be honest, if a migration takes this long, there is something wrong in the infrastructure.
@rahulmutt Can you post any news on it?

[NickSeagull]

I'm not in the position of stating this, but I believe that the project has been abandoned 😭

[FinnT730]

I tried building it before. Didn't work
If you want to use it, use the Docker container, it works. But fair warning, it is not easy to get files in or out of the container (unless I did something wrong, which is likely, since I do not use Docker)

[StEvUgnIn]

I'm not in the position of stating this, but I believe that the project has been abandoned 😭

I'm afraid a project of this size including proposals is not manageable alone. The moderators should start an open collective if they want to keep going.

[FinnT730]

I'm afraid a project of this size including proposals is not manageable alone. The moderators should start an open collective if they want to keep going.

Sadly, there has been near no communication from the person behind this project. And it looks like they have moved away from ETA fully, to work on other stuff, which is fine. But from what I have seen, they are not interested in the open collective. Also what do you mean by the moderators ?

[StEvUgnIn]

I'm afraid a project of this size including proposals is not manageable alone. The moderators should start an open collective if they want to keep going.

Sadly, there has been near no communication from the person behind this project. And it looks like they have moved away from ETA fully, to work on other stuff, which is fine. But from what I have seen, they are not interested in the open collective. Also what do you mean by the moderators ?

Moderators $=$ The people in charge of typelead.

[FinnT730]

The people in charge of Typelead, are not around anymore, and have moved on to something new