I took a look at the related tools listing on the Coq website, which is in a pretty sad state:
Maybe rather than updating the page, it should be removed completely?
on a related note, based on the sheer number of gforge-hosted content on the related tools page, the shutdown of gforge could conceivably lead to the erasure of a majority of (unmaintained) Coq-related software artifacts from the last 20 years
It may be worth contacting the software museum...
I don't have experience with them, but I imagine some of the Parisians here do.
@Yves Bertot can probably help as well.
There was an uproar at the team management level concerning this move to close gforge.inria.fr. First, we need to be sympathetic to the IT crowd at Inria: most of the forge software are ageing and they represent serious security threats.
But the question of reproducibility in science dictates that we keep access to software sources that have been referenced in published papers, so counter solutions have been proposed.
Among the facilities that are provided by gforge.inria.fr, there are a few features that are less relevant to the Coq community, but may obfuscate the discussion: mailing list management, svn, web-hosting. The first two points are probably irrelevant for the coq-community (since we already migrated most of our stuff outside). But in the general area of web-hosting, it does affect us.
the idea of relying on software heritage has also been mentioned in the discussion.
So I have a few questions: do you think that providing re-direction for all web addresses to data that was initially stored on gforge.inria.fr would be enough to solve all our problems? Would we need to collect all the addresses we wish to preserve? Would it be enough to look at all addresses referred to in the opam-coq-archive?
Regarding the "Related Tools" page on the website, yes it is known that it is out of date and multiple attempts at reviving it have been pretty unsuccessful. It has been discussed several times that this page should simply be removed and redirect to the corresponding wiki page (which is easier to edit so might have a chance at being held a bit more up to date).
Feel free to open a PR doing that :D
ah, we should split the gforge vs. related-tools discussion, sorry for mixing them up. Perhaps the gforge discussion should mainly be on the Discourse or GitHub? I was thinking along the lines of crowdsourcing Coq-related artifacts currently hosted on gforge, will try to answer some issues raised by Yves later today.
Speaking about outdated pages, this one could do with some love...
Last updated: Feb 06 2023 at 18:03 UTC