Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update Calcium & Arb homepages #2158

Open
fingolfin opened this issue Jan 14, 2025 · 1 comment
Open

Update Calcium & Arb homepages #2158

fingolfin opened this issue Jan 14, 2025 · 1 comment

Comments

@fingolfin
Copy link
Collaborator

Right now https://fredrikj.net/calcium/ and https://fredrikj.net/arb/ give no indication that these libraries have been merged into FLINT, and people still find them unaware of this, and may draw incorrect conclusions from this. E.g. the arb page at the bottom suggests it was last updated 2016...

I would suggest to either turn these into redirects to the flint documentation and/or homepage, or to insert a prominent note on all pages that this is outdated and one should use flint instead.

@albinahlback
Copy link
Collaborator

I think a redirect is suitable. For reference, one can just put

<meta http-equiv="refresh" content="0; url=https://flintlib.org/doc/index.html" />

in the header, which should work for all modern browsers.

Arb, Calcium and GR should also be archived on Github. Currently they're not.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants