The version number and download files of the most recent version on the website are out of date

[Yewzir]

The information on the website about the most recent version of Idris 2 is outdated. Normally I would open a pull request with correction data, but on the one hand it seems that the website repository is no longer maintained and on the other hand the relevant download files are missing. Since I suspect that the repository is no longer maintained, I am opening an issue here.

[Yewzir]

I just noticed that there is a second repository for the website, but the download files are missing there too. At the very bottom of the website is a link to the repository of the website from the previous post. In short, it is all a bit unclear where people can go for this kind of stuff.

I know very well that this doesn't quite belong here, but as I said: it's not entirely clear to me where I should be.

[CodingCellist]

Thanks for raising this. It is a known issue which we've been meaning to fix for a while now, but every time we get 80% there and then other things get in the way.

As you've noticed, the website is currently from Edwin's personal repo, which means only he can update it, but there is just too much else to do unfortunately. The plan has been to move to the community-modifiable idris-lang/idris-lang.github.io for a while now, but since nobody is employed to work full-time on Idris and most of us have some combination of teaching/research/software/project-supervision obligations, the website has ended up pretty much at the bottom of the priority list (especially as the majority of users use pack to install new versions these days).

The community repo -- which should take over soon (tm) -- is accessible via test.idris-lang.org/. I had a bit of free time ~1 month ago, and tried to get it ready to go, but the CI build appears to have bit-rotted, and that required more time to fix than I had. It would be really good to get the website updated, but there just hasn't been any time to do so.