You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Version with GAP 4.11.1: 5.3 (Released 12/02/2020)
It would be nice if also showed...
the "latest" version (if it changed in the distribution after the last GAP release)
the version(s) bundled with older GAP releases.
Regarding point 1: this ties in with issue #234. To implement it, we would add another file _data/package-infos/latest.json which is generated like _data/package-infos/4-11-1.json etc. from the same script (which may need to be adjusted; also, it maybe can be run at the same time as the package distribution tarballs are updated).
Regarding point 2: of course we just need to loop over all past GAP releases to gather the info. But not all users may want to see it. Some ideas for that:
We essentially decided against doing this when we did the new website design in PR #339. We'll focus on the present. Studying past data is cool, but if someone really wants that, they'll have to implement it themselves.
Right now package pages like https://www.gap-system.org/Packages/ace.html only show the package version distributed in the latest GAP release, e.g.:
It would be nice if also showed...
Regarding point 1: this ties in with issue #234. To implement it, we would add another file
_data/package-infos/latest.json
which is generated like_data/package-infos/4-11-1.json
etc. from the same script (which may need to be adjusted; also, it maybe can be run at the same time as the package distribution tarballs are updated).Regarding point 2: of course we just need to loop over all past GAP releases to gather the info. But not all users may want to see it. Some ideas for that:
<details>
elementsThe text was updated successfully, but these errors were encountered: